I didn't comment on the previous thread, I believe. It's because I really don't have much of an opinion on this issue. So do take my silence as assent to whatever the rest of us agree on.

On Wed, Apr 7, 2021 at 8:48 PM Richard Eisenberg <rae@richarde.dev> wrote:

Hi all,

The author of #402 (our own Vladislav) has modified it to remove the bit about dropping parentheses. The proposal is now solely about liberalizing the existing syntax to allow arbitrary nesting of quantifiers in non-record constructors. My recommendation remains to accept.

Are there other further thoughts here?

Thanks,
Richard
_______________________________________________
ghc-steering-committee mailing list
ghc-steering-committee@haskell.org
https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee