GADT
generalized algebraic data types
代数的データ型
の拡張
OCaml
Haskell