抽象型表現は、分配的双デカルト圏における0-コンビネーションのこと。直積と直和と決まった型（0-リテラルセット）から構成される。直積の具体的な作り方と直和の具体的な作り方の情報を添えた型表現を具象型表現と呼ぶ。具象型表現は型構成グラフ（一種の…

console.dir(object); console.dir(object, {depth: null}); depth に数値も効くのか？