<div dir="ltr">Ok thank you for the feedback, I get the message not to re-purpose currently valid syntax.<div><br></div><div>For that reason, this won't fly:</div><div><br></div><div><blockquote style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex" class="gmail_quote"> I see no technical issues in allowing<br>something like `[ x, y || ys]`</blockquote><div><br></div><div>`||` is already an operator in the Prelude. </div></div><div><br></div><div>>    [x, y ,: ys ]           -- ? not currently valid</div><div><br></div><div>We could make list syntax work harder</div><div><br></div><div>>    [x, y ,:+ ys ]</div><div><br></div><div>Means desugar the commas by applying constructor `:+` instead of `:`. That could be in general any constructor starting `:`.</div><div><br></div><div>Or indeed could be a pattern synonym starting `:`, which is a 'smart constructor' to build the list maintaining some invariant.</div><div><br></div><div><br></div></div>