algebras-for-monads
for Monads”
Prev:
f-algebras
Next:
ends-and-coends
Prev:
f-algebras
Next:
ends-and-coends