<div dir="ltr">2016-07-08 12:28 GMT+02:00 Joachim Breitner <span dir="ltr"><<a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a>></span>:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex">Currenlty,<br><br>    foobar<br>      (do f &&& g)<br>      x<br><br>calls foobar with two arguments, while<br>  <br>    (do f &&& g)<br>    x<br><br>calls (f &&& g) with one argument. The ArgumentDo proposal does not change that, only that the parenthesis become redundant.<br></blockquote><div><br></div><div>I don't think so: <a href="https://ghc.haskell.org/trac/ghc/wiki/ArgumentDo#BlockasaLHS">https://ghc.haskell.org/trac/ghc/wiki/ArgumentDo#BlockasaLHS</a> explicit states that</div><div><br></div><div>   do f &&& g</div><div>   x</div><div><br></div><div>parses as</div><div><br></div><div>   (f &&& g) x</div><div><br></div><div>, so</div><div><br></div><div>   foobar</div><div>      do f &&& g</div><div>      x</div><div><br></div><div>parses as</div><div><br></div><div>   foobar ((f &&& g) x)</div><div><br></div><div>under the new proposal, which I find highly confusing. If it doesn't parse like this under the proposal, the wiki page is wrong and/or the proposal is not compositional: Why should being below "foobar" change the parse? "foobar" is not a keyword switching to some different mode.</div></div>