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?

Antworten auf die Frage(2)

Ihre Antwort auf die Frage