haskellでrunStateを実行するargの数は

Question

です。

runStateをmtlで定義されていると考えてください。

s -> (a, s) :: State s a

runStateための2つの引数がどのように見えるかいStateT s IdentityでsとIdentityとは何かを持っていますか？

Answer 1

あなたはタイプシグネチャを誤解しています。

runState :: State s a -> s -> (a, s) 

この型シグネチャは、runStateが2つの引数を取ることを直接示しています。最初のタイプはState s aで、2番目のタイプはsです。