Aux

Coyoneda

analyze

FreeApplicative

ap

FreeApplicative

apply

Coyoneda FreeInjectPartiallyApplied Inject Yoneda