TypeApplications

• Introduction to GHC language extensions
• Visible type applications