Hi,
So I was playing with template Haskell earlier and there's something that I
don't really understand.
I can do something such as [|(+)|] just fine, but what I *want* is to do
something like (\x -> [|x|]) (+) for example.
(\x -> [|x|]) can be applied to numbers just fine, but not functions because
it doesn't have an instance for Lift
I'm just confused by this.
Is there something I fundamentally don't understand about the Quasi monad?
