Infix type and function definitions

[Simon Peyton-Jones]

| 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 = Left a | Right b

I *am* proposing that varsyms become type *constructors* not type *variables*.

I can see arguments both ways for allowing definitions in infix form, and I don't have a strong position either way.

Simon