15 May
2006
15 May
'06
9 p.m.
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?