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

Free Constructions in Haskell

Free monoids, domains and traversals, and categories of structures in Haskell.