st es nur ein Zufall, dass Kleisli, ReaderT und Reader in Scalaz gleich sin
n Scal
Kleisli[F, A, B]
ist ein Wrapper fürA => F[B]
.ReaderT[F, A, B]
- Leser Monade Transformator - ist nur ein Alias vonKleisli[F, A, B]
.Reader[A, B]
monad ist eine Spezialisierung vonReaderT
mit Identität MonadeId
:type Reader[A, B] = ReaderT[Id, A, B]
.Ist es nur ein Zufall oder gibt es einigeTiefe Gründe, dieKleisli
, ReaderT
, undReader
Sind Scalaz isomorph?