[Haskell-beginners] questions about quickCheck