allow to use QuickCheck-2.7.*