Allow QuickCheck 2.12