Work with QuickCheck-2.7 and above