凸結合を意図的に取り上げてみようかな。 凸結合モナドのクライスリ圏の自己射は確率遷移系になるね。 かなりの数のモナドがスタンピングで説明できる。 代数項としても説明できる。 ツリーモナドは親玉みたいなもんだ。 自然数の有限部分集合の順序集合（＝…

そろそろ出し物を決めないとなー。どれがいいだろう？コレクション系モナド： リスト、列、string, word セット（有限）、enum、有限ベキ（共変） バッグ 型なし（非制限的な）レコード スタンピング系モナド： 代入（更新） エラー（単純）、未定義、Maybe …