Algebric Data Types （代数的データ型） 以下の2つからなる： 直積型 class や struct のようなもの 直和型 複数の型のうち、いずれか1つをとるような型 Rust の enum、Kotlin の enum class など