<div dir="ltr">OK, it sounds like we've worked out all the kinks, so I'll mark this as accept and merge it in.<div><br></div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr">On Mon, Jul 2, 2018 at 5:25 AM Richard Eisenberg <<a href="mailto:rae@cs.brynmawr.edu">rae@cs.brynmawr.edu</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Yes -- it's a property of the type. This aspect wasn't highlighted in the original proposal because it's not a change. Types *already* have this inferred/specified distinction (and have since GHC 8.0), but users can't directly access the feature. This proposal is all about -- and only about -- concrete syntax.<br>
<br>
Richard<br>
<br>
</blockquote></div>