Allow QuickCheck 2.9