The Comonad.Readertypes, (co)monads, substructural logic

Recursion Schemes

These posts may eventually grow into a taxonomy of recursion schemes. For now it consists of an old Knol on catamorphisms that I wrote that no longer has a home.