<br><br><div><span class="gmail_quote">On 5/16/06, <b class="gmail_sendername">Bulat Ziganshin</b> <<a href="mailto:bulat.ziganshin@gmail.com">bulat.ziganshin@gmail.com</a>> wrote:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Hello Creighton,<br><br>Monday, May 15, 2006, 7:30:48 PM, you wrote:<br><br>> I can do something such as [|(+)|] just fine, but what I *want* is<br>> 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>WHAT you want to do at last?</blockquote><div><br>Maybe I should just rephrase my question.<br>I thought that [| |] was shorthand for putting something in the Quasi Monad, just like how [ ] is shorthand for putting something in the List Monad.
<br>Now then since I can write something silly like (\x -> [x]) to put a thing into a list, I thought that I could do (\x -> [|x|]) to put objects into Quasi. <br>This *doesn't* work, at least not the way I'd expect, and I was wondering why.
<br><br></div><br></div>