中学生のためのモナド

中学程度の素材でも例を作れるな。

要するに、

• 式の計算
• 値の計算（小学校）
• 式に値を代入
• 式に式を代入
• 式の計算と値の計算の関係（どのタイミングで代入してもよいこと）

とかはモナドだ。半環＝複合モナドも、中学で普通に扱うからベックの法則も射程内かも。

もっとも、総和のΣ、総積のΠとかがあったほうが一般の分配法則＝ベックのスワッパーの説明はやりやすい。高校から大学初年くらい？ 一次変換 x, y → z, w のようなんは高校か、これの計算はクライスリ圏内の計算だ。