GADT

Redirect to:

• Generalized algebraic data type