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

Monads from Comonads

From comonads to monads and monad transformers, then comonad transformers.