type system

• Atypical data constructors
• Type equality constraints
• Explicit forall
• GADT syntax
• Scoped type variables
• Visible type applications
• :type and :kind
• History of scoped type variables
• Rigid type variables
• Semiring