> What's wrong? The package is called "QuickCheck". The package consists of a number of modules. The main module is called "Test.QuickCheck". So import Test.QuickCheck should bring all relevant symbols in scope.