type system

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