再帰データ型
再帰型（）とは、型の定義中にそれ自身の型が出現するような再帰する型のこと。相互再帰により直接は現れないものもある。再帰データ型（）とは、データ型における再帰型のこと。