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