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

Power Series of Functors

An exploration of differentiation and generating functions for functors.