（前回の続き） 前回までで、「代数的データ型の扱い」の例として「Cons 対によるリスト」を扱った。しかしやはりリストでこの表現を使うのは（TeX では）少し大袈裟な感じがすることは否めない。そこで「代数的データ型の例」としてリストの次に必ず出てく…