Support QuickCheck-2.7