モナドの例いろいろ

とりあえず列挙する。

1. 列（リスト）モナド
2. バッグモナド
3. セットモナド＝非決定性モナド
4. 型なしレコードモナド（フィールド名は連接モノイド）
5. 付点モナド（1点の直和スタンピング）＝部分関数モナド
6. 一般の直和スタンピングモナド＝例外モナド
7. 大域更新モナド（自明モノイドのスタンピングモナド）
8. 直積スタンピングモナド＝内部状態モナド
9. カウンターモナド
10. ストリーム出力モナド
11. ストリーム入力モナド
12. 一次式モナド
13. 多項式モナド
14. 幾何学的凸閉包モナド（包含順序）
15. 有向グラフの推移的閉包モナド
16. ツリーモナド（末端ラベルが変化する）
17. 実数値の切り上げ
18. 下に有界な整数区間を拡げるモナド、射は単調写像（リフトモナド）
19. ばかみたいなモナド1＝恒等モナド
20. ばかみたいなモナド2＝消滅モナド（終対象に写す）

ベックの法則：

• 各種の直和スタンピングモナドの交換性
• 列モナドとバッグモナドの交換性＝分配法則