类型变量中的任意单子变压器堆栈

Question

考虑以下sn-p

import Control.Monad.Trans
import Control.Monad.Trans.Except
import Control.Monad.Trans.State

newtype MyTransT m a = MyTransT (m a)

foo :: (MonadTrans t, Monad (t (Either e))) => MyTransT (t (Either e)) a -> a
foo = undefined

bar :: MyTransT (StateT Int (Either e)) a
bar = undefined

baz :: MyTransT (StateT Int (StateT Int (Either e))) a
baz = undefined

x = foo bar -- works

y = foo baz -- doesn't work

本质上，我正在尝试创建一个接受 monad 转换器堆栈的函数，指定堆栈的顶部和底部，而中间可以是任何东西。

在摸索了一会儿为什么foo baz 被Couldn't match type ‘StateT Int (Either e1)’ with ‘Either e0’ 拒绝后，我终于想到，在这种情况下，我假设t 是StateT Int (StateT Int)，这不仅不是MonadTrans，它的类型/种类不正确。

有什么方法可以完成我想做的事情，或者是时候尝试不同的方法了吗？

Answer 1

foo baz 不进行类型检查的原因是t 不是Either e monad 之上的转换器—​​—它是StateT Int (Either e) monad 之上的转换器。

这是它的解析方式：

 baz :: MyTransT (StateT Int (StateT Int (Either e))) a
                  \________/ \_____________________/
                       t            m                 a

请注意，m不是Either e 的形式。

您可以创建一个新的转换器，例如StateTIntStateTInt，然后写 像这样的巴兹：

 baz :: MyTransT (StateTIntStateInt (Either e)) a

然后它会键入检查。例如：

type StateTIntStateTInt = StateT (Int,Int)

baz' :: MyTransT (StateTIntStateTInt (Either e)) a
baz' = undefined

test = foo baz'

但是，即使您解决了类型问题，我也怀疑您会去 能够编写函数foo。考虑应该返回什么 对于bar这个特定值：

bar0 :: MyTransT (StateT Int (Either String)) Int
bar0 = MyTransT $ lift $ Left "blather"

foo bar0 应该返回什么 Int 值？