Remove the constraint option for QuickCheck