Paper describing use of package
QuickCheck test suite
Sample applications
Cabal source directory