Instances for QuickCheck classes