モナドtranformersと複数のモナドのスタッキング

Question

私は署名で署名f、及びf :: [a] -> StateT Int Reader b [c]と機能f'を有するf' :: a -> StateT Int Reader b [c]

Fにおける演算は（非常に簡略化され）、そのようになります。

f [] = return []
f (s:st) = f' s >>= \x ->
           f st >>= \y ->
           return $ ...

との代わりに...私は[c]のx周りに包まれたモナドのものと++の[c]部のyの一部を返すようにしたいと思います。
手動xとyをアンラップし、手動せずにもう一度一緒に結果を置くことを達成する可能性はありますか？私は、単純なコードを得るために、私のモナドスタックの一番下にリストモナドは必要ですか？リーダーモナドは明らかにMonadPlusのクラスのインスタンスではありません。

Answer 1

私はあなたがxとyをアンラップ何を意味得ることはありません。

私は

のように、最後の行を持っているでしょう

return (x ++ y)

ドI誤解何をしたい？

Answer 2

あなたは、単に定義することができます。

f = fmap concat . mapM f'

（mapM f' xsがタイプm [[c]]、 "モナド内部" xs :: [a]とm = StateT Int (Reader b)、次いでfmap concatを連結リストの値を生成する。）

Answer 3

f' sとf st両方は、一のモナド、すなわちStateT Int Reader bの値です。すでにx :: [c]とy :: [c]を持っているとデイブヒントンが言ったようにあなただけの、書き込みreturn (x ++ y)する必要があるので。