Depend on QuickCheck 2.7