Aux

Coyoneda

analyze

FreeApplicative FreeInvariantMonoidal

ap

FreeApplicative

apply

Coyoneda Yoneda