type の関数がありますMap Int String -> Proxy () a () Void IO b。現在await、取得した値を使用して何でも実行し、自分自身を再呼び出しします。State (Map Int String)それを引数として渡すのではなく、使用するように変更したいので、使用するだけforeverで、すべてのブランチで再帰を覚えておく必要はありません。StateT別のモナドと組み合わせるために使用する必要があることはわかりましたが、その型シグネチャのどこに属しているか、または のような関数が必要かどうかStateがわかりません。aと a の両方である関数の正しい型は?StateTliftgetState (Map Int String)Proxy () a () Void IO b