Relax the constraints on QuickCheck