Proposal: ArgumentDo

[Bardur Arantsson]

On 07/09/2016 09:09 AM, C Maeder wrote:
> The asymmetry that you mention is already apparent for (Haskell98) infix
> expressions, i.e. when "composing" lambda- or if-expression:
> 
>  (if c then f else g) . \ x -> h x
> 
> Parentheses around the last argument of "." do not matter, but
> parentheses around the first argument make a real difference (that the
> type checker will not detect)!
> 

What I'm reading here is essentially

  "Parser already does non-obvious thing"
      ===> "Adding more non-obvious things is fine!"

This is simply bad reasoning, and I'm not sure why a number of people
are saying it. Am I missing something?

Regards,