Вscalaz Kleisli[M[_], A, B] это оберткаA => M[B], что позволяет составление таких функций. Например, еслиM[_] монада я могу сочинятьKleisli[M, A, B] а такжеKleisli[M, B, C] с>=> получитьKleisli[M, A, C].

В двух словах,Kleisli обеспечивает фантазииandThens в зависимости отM, Это правильно? Есть ли другие преимущества использованияKleisli?