Lift the Pivot
type member to a parameter.
Lift the Pivot
type member to a parameter. It is usually more convenient to use Aux
than
a refinment type.
Like lift(fa).contramap(k0)
.
ContravariantCoyoneda[F, ?]
provides a contravariant functor for any F
.
F[A]
converts to ContravariantCoyoneda[F,A]
for any F