任意のモナド変圧器スタック

Question

は、私がいる間、指定されたスタックの上部と下部で、モナド変圧器スタックを受け付ける関数を作成しようとしています次のスニペット

本質的には

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 

を考えてみましょう真ん中は何でもかまいません。

foo bazがCouldn't match type ‘StateT Int (Either e1)’ with ‘Either e0’で拒否された理由としてしばらくの間、私の頭を悩また後、最終的にそのような場合には、私はtはそのが正しく入力されたではない、だけではないMonadTransされていないStateT Int (StateT Int)だったと仮定したことが私に起こりました/ kinded。

私がしようとしていることを達成する方法はありますか、それとも別のアプローチを試みるのですか？

Answer 1

tがEither eモナドを超える変圧器ではないので、foo bazがチェックするのは、StateT Int (Either e)モナドを超える変圧器です。ここで

は、それが解析される方法です。

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" 

のInt値がfoo bar0返す必要がありますか？