OK, it sounds like we've worked out all the kinks, so I'll mark this as accept and merge it in.

On Mon, Jul 2, 2018 at 5:25 AM Richard Eisenberg <rae@cs.brynmawr.edu> wrote:

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.

Richard