This seems basically what I&#39;m talking about, except even more hardcore.  I think mostly what I&#39;m suggesting is that the GHC arrow preprocessor to compile to something like generalized arrows, by default, with current Arrows as a special case.<br>
<br>  -- ryan<br><br><div class="gmail_quote">On Mon, Oct 31, 2011 at 5:48 PM, Felipe Almeida Lessa <span dir="ltr">&lt;<a href="mailto:felipe.lessa@gmail.com">felipe.lessa@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im">On Mon, Oct 31, 2011 at 10:33 PM, Ryan Ingram &lt;<a href="mailto:ryani.spam@gmail.com">ryani.spam@gmail.com</a>&gt; wrote:<br>
&gt; The arrow syntax translation uses arr to do plumbing of variables.  I think<br>
&gt; a promising project would be to figure out exactly what plumbing is needed,<br>
&gt; and add those functions to a sort of &#39;PrimitiveArrow&#39; class.  All of these<br>
&gt; plumbing functions are trivially implemented in terms of &#39;arr&#39;, when it<br>
&gt; exists, but if it doesn&#39;t, it should be possible to use the arrow syntax<br>
&gt; regardless.<br>
<br>
</div>There are already generalized arrows [1].  Is that what you are looking for?<br>
<br>
Cheers,<br>
<br>
[1] <a href="http://www.cs.berkeley.edu/%7Emegacz/garrows/" target="_blank">http://www.cs.berkeley.edu/~megacz/garrows/</a><br>
<font color="#888888"><br>
--<br>
Felipe.<br>
</font></blockquote></div><br>