QuasiQuotes

• Compile-time evaluation
• Introduction to GHC language extensions
• Quasi-quotes