On Thu, Sep 4, 2014 at 1:06 PM, Petr Pudlák <petr.mvd@gmail.com> wrote:

since I got no response from the QuickCheck mail address, so I'm resending it here, if someone wants to comment on the idea.

I don't think it pays its way: it makes shrink a bit tidier, at the cost of breaking backwards compatibility in a widely used library.