This is QuickCheck 2, a library for random testing of program properties. Install it in the usual way: $ cabal install Please report bugs to the QuickCheck mailing list at quickcheck@projects.haskell.org. If you get errors about Template Haskell, try $ cabal install -f-templateHaskell but please report this as a bug.