QuickCheck examples