Added Comonad, Kleisli, Cokleisli