ツリーデータ型のモナドのモナドを具体的に書き下すととなると、けっこう難しいようだ。何が障害かというと： 型がうまく定義できない。 空型と単位型 部分集合型、内包的記法 ベキ集合型 直積型 指数型 直和型 依存和型 依存積型 型カインド 処理がうまく書…

略号 フルスペル 意味 K kompakt (独) コンパクト（性質） Or Oriented 向き付き Nsi Nested-signed indexed 入れ子符号付きインデックスされた Cl Closed 閉（性質） Cpt Component pointed 成分付点 Bcpt Boundary component pointed 境界成分付点 略号を…