Infix type and function definitions

Simon Peyton-Jones simonpj at
Fri Apr 18 10:49:24 EDT 2008

| 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.


More information about the Haskell-prime mailing list