Felix 111: Generalised Algebraic Data types

Variants with generalised type indices.

• Generalised Algebraic Datatypes
  • GADTs with existentials
  • Another Example