Excerpts from Edward Z. Yang's message of 2015-05-03 13:22:00 -0700:
https://github.com/suhailshergill/liboleg/blob/57673d01c66ab9f284579a40aed05... https://github.com/bitemyapp/hackage-packages/blob/fd9649f426254c0581bd97678... So, this piece of code is something that really ought to be in the standard library, if it isn't already. Basically, the problem is that when you quote an identifier, e.g. [| foo |], you get the *un-renamed* syntax (a variable foo) rather than the renamed syntax (somepkg:Data.Foo.foo). This is very useful, too useful to be in another library.
I have to backtrack on this statement; I misinterpreted what this code is doing; the problem here is we need a Lift instance for the Exp data type. We should just add this instance (or use the Data generated one). Edward