Lens monad A lens representation which is a monad. See Control.Monad.Lens.Simple and examples/Spine.hs