If it's not a real problem, it probably shouldn't be done: Every tiny change in the syntax, even if it's somehow backwards compatible, has a high cost in the whole ecosystem: The compiler has to be changed (probably by far the easiest part), libraries for parsing/pretty-printing Haskell have to be adapted, Editors/syntax highlighting rules have to be changed, books/tutorials have to be rewritten and people have to be retrained (yes, even if they don't use the new syntax: others might use it). To outweigh this pain, there should be be a real gain, saving just 4 keystrokes isn't worth it. And for me, and probably others, it's not an improvement in syntax, it actually makes things worse by removing a syntactic cue.

 

I think it's actually not the non-verbosity which makes Haskell attractive, it's its expressiveness. These are two quite different things.

 

Because it is fundamentally different from the rest, having a sequential nature (for some meaning of "sequential" given by the underlying monad).

 

Of course a machine will see the difference easily and immediately, the question is: Will people do so, too?

 

So what are the desugaring rules for your proposal? I have the gut feeling that they will be quite a bit more complicated and non-local than the current ones. Remember the famous quote:

   "If you can't explain it to a six year old, you don't understand it yourself."

;-)