Я знаю что A => F[B] - это Kleisli или ReaderT, а если A всегда равно B? Или это ограничение не даёт никаких интересных особенностей помимо тех что уже есть в Kleisli?
Звучит как коалгебра https://en.wikipedia.org/wiki/F-coalgebra
Да, спасибо, похоже на то. Может ещё (S, A) => F[S] есть? 😊
это всё ещё коалгебра только для функтора A => F[_]
Типа S => F[S], где F[T] = A => G[S]?
Обсуждают сегодня