忘れていた、アイコンデザインが途中

データと型の構成を表すアイコンを放置していた。

複合データ構成（直積）

1. 配列構成
2. オブジェクト構成
3. タギング

その他の圏論的な構成

1. 直和（排他的ユニオン）
2. undefモナドによる構成

論理／集合論的な構成

1. 共通部分
2. 合併

だいたいの方針として、直積系は茶色、直和系は白。形状は丸か菱形。共通部分と合併は二重丸にしようかな（共通部分は茶色、合併は白）。

スクリプトの図示との整合性も必要だ。

• 複合データ構成はインスタンスにも定義できる演算。
• 複合データ構成と、直和／undefモナドはコマンド（射）に対しても適用できる。