[Haskell-beginners] QuickCheck documentation