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

Install it in the usual way:

$ cabal install

The quickcheck-instances [1] companion package provides instances for types in
Haskell Platform packages at the cost of additional dependencies.

[1]: http://hackage.haskell.org/package/quickcheck-instances