generated at
2/12/2025, 8:31:28 AM
代数的データ型
algebraic data type
https://ja.wikipedia.org/wiki/代数的データ型