Generalized algebraic data types (GADTs) have received much attention ... We propose a generalization of the type constraint mechanisms of C# and Java to both avoid the need for casts in GADT programs ...