<div dir="ltr">On Wed, Jan 18, 2012 at 10:42, Brent Yorgey <span dir="ltr">&lt;<a href="mailto:byorgey@seas.upenn.edu">byorgey@seas.upenn.edu</a>&gt;</span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div id=":1eg">I&#39;m not sure at this point which way I would lean on the issue.<br>
Having infix type constructors that don&#39;t have to start with : is<br>
something I would like, too.  But I just thought I would point out<br>
that code like tc192 is not as esoteric as you seem to think.<br></div></blockquote></div><br>I seem to recall @src outputting a Prelude definition for something (Monoid?) that used (*) as a type variable.<br clear="all">
<div><br></div>-- <br>brandon s allbery                                      <a href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a><br>wandering unix systems administrator (available)     (412) 475-9364 vm/sms<br>
<br>
</div>