Test.Invariant

(<=>)

(&>)

idempotent

pointSymmetric

reflectionSymmetric

monotonicIncreasing

monotonicIncreasing'

monotonicDecreasing

monotonicDecreasing'

involutory

inverts

commutative

associative

distributesLeftOver

distributesRightOver

distributesOver

inflating

inflating'

deflating

deflating'

cyclesWithin

invariatesOver

(<~~)

(@~>)