代数型データ
https://ja.wikipedia.org/wiki/代数的データ型
ちゃんと理解してない