GADTSyntax

• Introduction to GHC language extensions
• GADT syntax