Generalised Algebraic Data Types (GADTs)

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. [# 1]

{{todo}}