Test.Invariant

(<=>)

(&>)

idempotent

pointSymmetric

reflectionSymmetric

monotonicIncreasing

monotonicIncreasing'

monotonicDecreasing

monotonicDecreasing'

involutory

inverts

commutative

associative

distributesLeftOver

distributesRightOver

distributesOver

inflating

deflating

cyclesWithin

invariatesOver