[Haskell-cafe] quickCheck problem