SmallCheck is a testing library that allows to verify properties
for all test cases up to some depth. The test cases are generated
automatically by SmallCheck.

After uninstalling, run this command to unregister the package from
the ghc package database:   ghc-pkg recache