データと型の構成を表すアイコンを放置していた。複合データ構成（直積） 配列構成 オブジェクト構成 タギング その他の圏論的な構成 直和（排他的ユニオン） undefモナドによる構成 論理／集合論的な構成 共通部分 合併 だいたいの方針として、直積系は茶色…

順序集合の型：discrete, partial-order, linear-order, upTree, downTree, orderedUpTree, ... 複合的順序の構成法：product A, B、 dictionary A, B、sum A, B リンクの貼り方： completeFamily（完全グラフ）, directed, bidirected, tree, orderedTree, …