Shrinkage on QuickCheck, let's try it. close #14