Aux
Coyoneda
analyze
FreeApplicative
ap
FreeApplicative
apply
Coyoneda
FreeInjectPartiallyApplied
Inject
Yoneda