Aux
Coyoneda
analyze
FreeApplicative
FreeInvariantMonoidal
ap
FreeApplicative
apply
Coyoneda
FreeInjectPartiallyApplied
Inject
Yoneda