cocomonad

Any Comonad can be turned into a monad transformer