Remove QuickCheck global constraint