> sacrifices type safety How does TH sacrifice type safety? The generated code is type checked. For actually customizing syntax via macros, quasi quotation is

> sacrifices type safety How does TH sacrifice type safety? The generated code is type checked. For actually customizing syntax via macros, quasi quotation is the popular approach, combined with TH. People can eg embed JS or ObjC syntax fragments directly into Haskell this easy. http://www.haskell.org/ghc/docs/latest/html/users_guide/template-haskell.html#th-quasiquotation http://www.haskell.org/ghc/docs/latest/html/users_guide/temp...