Monoid

cats

map

Coyoneda Free FreeApplicative FreeT Yoneda

match_

Inject

monad

FreeApplicative