RE: [Haskell-cafe] Help using QuickCheck