相关疑难解决方法(0)

我有一个问题,一堆monad变压器(甚至一个monad变压器)结束IO.一切都很好,除了在每次动作之前都使用电梯非常烦人!我怀疑这与此无关,但我想我还是会问.

我知道提升整个块,但如果代码实际上是混合类型怎么办？如果GHC投入一些语法糖(例如,<-$= <- lift),这不是很好吗？