Control.Monad のドキュメントを読んで、mapMのそのような説明を見つけました:
構造体の各要素をモナド アクションにマップし、これらのアクションを左から右に評価し、結果を収集します。
興味があります.任意のモナドにとって「構造体の要素」とはどういう意味ですか? 例えば、StateまたはIOモナド？どんな構造？私はmapM関数が何をするかを知っており、mapM. この「構造」は「代数的構造」の概念と何らかの形で結びついているのでしょうか?
構造は、公理のリストを満たす 1 つ以上の有限操作が定義された集合です。
もしそうなら、IOモナドなど、私が求めたこの構造（キャリアセット）の要素は何ですか？一般に？