Allow use of older QuickCheck for HP compatibility