¿Cómo se puede usar la quasiquotación de Haskell para reemplazar tokens en el nivel de Haskell?

Quasiquotación como se describe enhaskellwiki se muestra principalmente como una herramienta útil para incrustar otros idiomas dentro de Haskell sin perder el tiempo con una cita de cadena.

La pregunta es: Para el propio Haskell, ¿qué tan fácil sería pasar el código de Haskell existente a través de un quasiquoter con el fin de simplemente reemplazar tokens y pasar el resultado a ghc? Tal vez la plantilla Haskell sea clave aquí?

He buscado ejemplos de código y no encontré ninguno. Algunos EDSL pueden beneficiarse de esta capacidad al reducir el tamaño de sus operadores combinados (por ejemplo, girar 'a. |. B. >>. C' a '[myedsl | a | b >> c]').

Respuestas a la pregunta(1)

Su respuesta a la pregunta