Quoting comonad of a monad

Tags: Monad, Comonad, Kleisli category]. Discussion with Niels Voorneveld.