[Haskell-cafe] QuickCheck 2