Re: [Haskell-cafe] Fwd: an idea for improving 'shrink'

On Sat, Sep 6, 2014 at 2:17 AM, Petr Pudlák wrote:

That’s a problem. But I believe it the patch addresses it. QuickCheck always uses ‘shrink’, not ‘shrinkA’, and as the default implementation of ‘shrink’ is defined in terms of ‘shrinkA’, then it’s possible to define instances both using ‘shrink’ and using ‘shrinkA’.

Ah, if you can retain backwards compatibility, then it becomes a lot more interesting...