出演するモナドさん達

そろそろ出し物を決めないとなー。どれがいいだろう？

コレクション系モナド：

1. リスト、列、string, word
2. セット（有限）、enum、有限ベキ（共変）
3. バッグ
4. 型なし（非制限的な）レコード

スタンピング系モナド：

1. 代入（更新）
2. エラー（単純）、未定義、Maybe
3. ファイル出力
4. moveTo, moveBy による点の描画

項モナド：

1. 1次式
2. 凸結合
3. コレクションはすべて項モナドと解釈できる

その他：

1. 単純有向グラフ
2. 切り上げ

こんなもんか。[追記]ツリーモナドを忘れてた。[/追記]

問題は動詞だ！ [追記]これは後で書き換える。[/追記]

モナド	乗法	単位	関手の射パート
リスト	flatten	single	map
セット	flatten	single	map
バッグ	flatten	single	map
レコード	flatten	single	map
代入	perform	valueOnly	noTouch
エラー	aggregate	normal	noError
ファイル出力	perform	valueOnly	noOutput
moveTo, moveBy	perform	void	noMove
1次式	expand	asExpr	subst
凸結合	expand	asExpr	subst
単純有向グラフ	ident	embed	induced
切り上げ	ident	inc	ceiling

まだ要検討。

他に、

1. アクション＝エフェクト＝作用とは何か
2. 半群、モノイド作用