[Haskell-cafe] The design and use of QuickCheck