type system

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