TemplateHaskell
Haskell でマクロするやつ。コンパイル時に AST をこねこねすることができる。
参考
7.14. Template Haskell