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

Generalized Hylomorphisms and Chronomorphisms

Generalized hylomorphisms, their fusion into chronomorphisms, and dynamorphisms as a special case.