-->
Kleisli is a category assosiated to some monad. But since we don't operate on monads at all, Kleisli refers just to a shape of morphism that looks like this:
Co-Kleisli shaped morphism, respectively: