Test.QuickCheck.Later

isAssocTimes

isCommutTimes

delay

delayForever