W Scalaz Kleisli[F, A, B] jest opakowaniem dla A => F[B]. ReaderT[F, A, B] - transformator monadera czytającego - jest po prostu pseudonimem Kleisli[F, A, B]. Reader[A, B] monada jest specjalizacja Re
W dokumentacji Haskella Control.Arrow mówi o związku strzały Kleisli z monadami, ale nie jest dla mnie oczywiste, jak z tego korzystać. Mam funkcję, która, jak sądzę, pasuje do strzał, z wyjątkiem teg