import Test.QuickCheck