cats
ContravariantCartesian is nothing more than something both contravariant and Cartesian. It comes up enough to be useful, and composes well
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
ContravariantCartesian is nothing more than something both contravariant and Cartesian. It comes up enough to be useful, and composes well