É apenas uma coincidência que Kleisli, ReaderT e Reader sejam os mesmos em Scalaz
Na cidade Scalaz
Kleisli[F, A, B] é um invólucro paraA => F[B].ReaderT[F, A, B] - transformador de mônada de leitor - é apenas um pseudônimo deKleisli[F, A, B].Reader[A, B] mônada é uma especialização deReaderT com mônada de identidadeId:type Reader[A, B] = ReaderT[Id, A, B].É apenas uma coincidência ou há algunsMais profundo razões queKleisli, ReaderTeReader isomórficas em Scalaz?