And creates a predicate that combines other predicates via &&.

ContraMap creates a predicate from an existing predicate given a mapping function.

MonoidAll combines predicates via &&.

MonoidAny combines predicates via ||.

Or creates a predicate that combines other predicates via ||.

SemigroupAll combines predicates via &&.

SemigroupAny combines predicates via ||.