Scoped​Type​Variables

• Introduction to GHC language extensions
• Partial type signatures
• Scoped type variables
• History of scoped type variables
• Hole driven exploration
• Rigid type variables