问题描述
猫中Monad变形金刚的一些定义。
EitherT [F [_]，A，B]是F [Either [A，B]]的轻量级包装， 使得将Eithers和Fs组合在一起变得容易。要使用EitherT， 首先将Either，F，A和B的值转换为EitherT，然后 然后使用组合器组合得出EitherT值。
OptionT [F [_]，A]是F [Option [A]]上的轻包装纸。请讲 从技术上讲，它是Option的monad变压器，但您不需要 知道这对它有用的意义。 OptionT可以更多 比直接使用F [Option [A]]更加方便。
我了解这个概念，甚至看到了一些有趣的话题：Monad transformers down to earth by Gabriele Petronella
我了解Reader Monad，以及Kleisli只是一个概括。
我不明白的是下面的陈述，说那是单子变压器。我们到底要堆叠什么？我看不到这里有2个monad ....
Kleisli可以看作是功能的monad转换器。召回 从本质上讲，Kleisli [F，A，B]只是一个函数A => F [B]， 巧妙地运用我们真正关心的价值， B，很简单。 Kleisli使我们能够发挥功能和 让它们与其他F [_]的效果配合得很好。
有什么想法吗？
解决方法
当我们考虑两个单子的组成：sudo apt install python-pip / python2-pip / python2.7-pip
（外单子）和EitherT[F[_],A,B]（内单子）时，会出现Monad变换器F[Either[A,B]]（F的包装）。 / p>
当我们考虑两个单子的组成：Either[A,?]（外单子）和OptionT[F[_],A]（内单子）时，会出现Monad变换器F[Option[A]]（F的包装）。 / p>
当我们考虑两个单子的组成：Option（外单子）和Kleisli[F,B]（内单子）时，会出现Monad变换器A => F[B]（A => ?的包装）。 / p>