Aux

ContravariantCoyoneda Coyoneda

ana

Cofree

anaEval

Cofree

analyze

FreeApplicative FreeInvariantMonoidal

ap

FreeApplicative

apply

ContravariantCoyoneda Coyoneda Yoneda