相关疑难解决方法(0)

我见过这个

ListT是一个不满足monad定律的有缺陷的monad变换器的典型例子.

这可以通过一个简单的例子来证明吗？

编辑:我的想法ListT []有点不对,我错过了文档要求内部monad是可交换的.那么,ListT只是在有这个要求的意义上,或者是否存在另一个问题？(Haskell wiki的例子都使用ListT IO,IO显然不是可交换的.)