[Haskell-cafe] Using quickcheck to check for errors