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