defnarrow[A, B <: A](fa: Prod[F, G, A]): Prod[F, G, B]
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