keiSunagawa

Kleisli is like Monad Transformer. Monad Transformer has type signature `M[F[_], A]`. e.g. OptionT, EitherT, StateT Those Monad Transformers TypeClass instances has inner type F instance. and uses. from this,...

thanks. I will try 👍