checkers-0.1: Check properties on standard classes and data structures.

Test.QuickCheck.Applicative