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