Kleisli morphisms in Я look like this: a -> effect o This type of arrows often used for binding effects and traversing structures with these operators: yok ⋅ yokl