Test.QuickCheck.Bottoms
bottom
infiniteComp