Generalized algebraic data type

In functional programming, a generalized algebraic data type (GADT, also first-class phantom type, guarded recursive datatype, or equality-qualified type) is a generalization of parametric algebraic data types.

See also

• Algebraic data type
• Parametric polymorphism
• Type variable

External links

• Generalized algebraic data type @ Wikipedia