Depend on even newer QuickCheck