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

Lenses: A Functional Imperative

Edward Kmett