Contramap implements an Equals predicate based on a mapping.

Empty returns the equals predicate that is always true.

Equals returns a predicate to test if one value equals the other under an equals predicate.

FromEquals constructs an [EQ.Eq] from the comparison function.

FromStrictEquals constructs an [EQ.Eq] from the canonical comparison function.