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
PR: ports/142488
Submitted by: Jacula Modyun <jacula(at)gmail.com>