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.