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