type system

• Explicit forall
• GADT syntax
• GADTs
• Scoped type variables
• Visible type applications
• GHCi :type and :kind commands
• Rigid type variables
• Semiring