Checkers wraps up the expected properties associated with various
standard Haskell type classes as QuickCheck properties. Also some
morphism properties. It also provides arbitrary instances and
generator combinators for common data types.

WWW: http://haskell.org/haskellwiki/checkers