A common idiom is to quasi-quote an expression, perform some transformation on the expression and splice the result back into the program. It could be written as:
Sheard, Tim; Jones, Simon Peyton (3 October 2002). "Template meta-programming for Haskell". Proceedings of the 2002 ACM SIGPLAN workshop on Haskell. Association for Computing Machinery. pp. 1–16. doi:10.1145/581690.581691. ISBN 1581136056. S2CID 6096655. 1581136056 ↩