cats
Must obey the laws defined in cats.laws.ContravariantLaws.
Lifts natural subtyping contravariance of contravariant Functors.
Lifts natural subtyping contravariance of contravariant Functors. could be implemented as contramap(identity), but the Functor laws say this is equivalent
Must obey the laws defined in cats.laws.ContravariantLaws.