<div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">Greetings committee!<br><br>In [proposal #638](<a href="https://github.com/ghc-proposals/ghc-proposals/pull/638">https://github.com/ghc-proposals/ghc-proposals/pull/638</a>),<br>@int-index proposes that we introduce a prefix form of MkSolo#, and apparent oversight in proposal #475 [Non-punning list and tuple syntax](<a href="https://github.com/ghc-proposals/ghc-proposals/pull/475">https://github.com/ghc-proposals/ghc-proposals/pull/475</a>). <br><br>Previously, you would write `(# a #)` to construct a `Solo# a`.<br>But the question is: what would be the prefix form of this constructor?<br>It can't be `(# #)`, because this is already defined as a constructor of `Unit#`!<br><br>This amendment proposes the `MkSolo#` constructor, having us write `MkSolo# a` for the prefix form. The discussion seems unanimous, after care was taken to clarify that a fully applied `MkSolo# a` would still be pretty printed as `(# a #)`, avoiding programmer confusion.<br><br>It seems quite straightforward to me, so:</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><br>I recommend accepting this amendment to #475.</div><br clear="all"><div><br></div><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><span style="font-family:arial,helvetica,sans-serif;font-size:small">--  </span><a href="http://mpg.is/" style="font-family:arial,helvetica,sans-serif;font-size:small" target="_blank">Matthías Páll Gissurarson</a><br></div></div></div>