This is QuickCheck 2, a library for random testing of program properties.

Install it in the usual way:

$ cabal install

There is a Google group for user discussion and questions at

https://groups.google.com/forum/#!forum/haskell-quickcheck.