| Just to clarify, issues of what names can be used for
| type constructors aside, are you proposing dropping
| infix syntax for defining functions, but retaining infix
| syntax for defining types (and type families etc.)?
|
| Or would the last example have to be written
|
| data (+) a b = Lef
Hi,
Simon PJ wrote (Re: BangPatterns: probably accept ==> undecided):
> Not allowing infix functions on the LHS would be a notable
> simplification.
And a little later (Re: Infix type constructors):
> What we *want* is to say
>
> data a + b = Left a | Right b
>
> That is, we want to de
