[Haskell-beginners] QuickCheck help