Extra-1.42: A grab bag of modules.
Test.QuickCheck.Properties
isIdempotentBy :: (Arbitrary a, Eq a, Show a) => (a -> a) -> Gen a -> PropertySource
isIdempotent :: (Arbitrary a, Eq a, Show a) => (a -> a) -> PropertySource