"Rewriting a shallow DSL using a GHC compiler extension."

Mark Grebe, David Young, Andy Gill (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics