[Haskell-cafe] QuickCheck update