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 structural type.
Like lift(fa).map(_k)
.
As the free functor, Coyoneda[F, ?]
provides a functor for any F
.
F[A]
converts to Coyoneda[F,A]
for any F