On Wed, Jan 18, 2012 at 10:42, Brent Yorgey <byorgey@seas.upenn.edu> wrote:

I'm not sure at this point which way I would lean on the issue.
Having infix type constructors that don't have to start with : is
something I would like, too. But I just thought I would point out
that code like tc192 is not as esoteric as you seem to think.

I seem to recall @src outputting a Prelude definition for something (Monoid?) that used (*) as a type variable.

--
brandon s allbery allbery.b@gmail.com
wandering unix systems administrator (available) (412) 475-9364 vm/sms