require QuickCheck >=2.5 and test-framework-quickcheck2 >=0.2.12.3