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