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