Hi Bulat,<br><br>Do you have examples of usefulness your sugar for monads besides the one?  Since &quot;do&quot; sugar is notation for general monadic programming, I wouldn&#39;t want to see it made more complex for the sake of just one monad.<br>
<br>  - Conal<br><br><div class="gmail_quote">On Sat, Mar 28, 2009 at 1:54 AM, Bulat Ziganshin <span dir="ltr">&lt;<a href="mailto:bulat.ziganshin@gmail.com">bulat.ziganshin@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Hello haskell-prime,<br>
<br>
as we know, the following code<br>
<br>
action x y &gt;&gt;= \v -&gt; do<br>
<br>
can be shortened to following<br>
<br>
v &lt;- action x y<br>
<br>
<br>
<br>
but there is one more very popular &#39;do&#39; pattern, with a &#39;do&#39; block<br>
passed as a parameter:<br>
<br>
for list $ \element -&gt; do<br>
  ...<br>
<br>
or<br>
<br>
bracket createDialog destroyDialog $ \dialog -&gt; do<br>
...<br>
<br>
<br>
what about adding one more &#39;do&#39; sugar that will allow to move<br>
variable name to the left, such as<br>
<br>
for element in list do<br>
or<br>
with dialog in bracket createDialog destroyDialog do<br>
<br>
or just<br>
<br>
element &lt;-- for list do<br>
dialog &lt;-- bracket createDialog destroyDialog do<br>
<br>
?<br>
<font color="#888888"><br>
<br>
--<br>
Best regards,<br>
 Bulat                          mailto:<a href="mailto:Bulat.Ziganshin@gmail.com">Bulat.Ziganshin@gmail.com</a><br>
<br>
_______________________________________________<br>
Haskell-prime mailing list<br>
<a href="mailto:Haskell-prime@haskell.org">Haskell-prime@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-prime" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-prime</a><br>
</font></blockquote></div><br>