checkers-0.2.9: Check properties on standard classes and data structures.
Test.QuickCheck.Bottoms
bottom :: Gen a
infiniteComp :: Gen a