Auto-shrinkable IR

[phadej]

DRMacIver But the main thing I had in mind is simplification.
DRMacIver I noticed that you couldn't simplify unions because your unions are untagged.
DRMacIver Which suggests to me (I haven't looked into the details) that you're using the standard Haskell quickcheck simplify implementation, which 
          works badly for dynamic languages, and you could benefit from either reiddraper or my techniques for attaching simplification to 
          generation strategies
DRMacIver In test.check you generate lazy simplification trees. In Hypothesis you generate and simplify an intermediate representation which you can 
          later convert to a value of the desired type.
DRMacIver Either of these have the nice property (heh) that you can write simplification rules that respect the constraints you generated with.

simplification = shrinking

[bradleyayers]

What's "IR" in this context?

[phadej]

IR = Intermediate representation