If you want to know more how Kleisli morphisms are used in Я I recommend you to check out Bind and traverse with Kleisli morphisms article.
Kleisli morphisms in Я look like this:
into a (t o)This type of arrows often used for binding effects and traversing structures with these operators: