Data.Functor.Contravariant
class Contravariant f
phantom
(>$<)
(>$$<)
($<)
data Predicate a
data Comparison a
defaultComparison
data Equivalence a
defaultEquivalence
comparisonEquivalence
data Op a b