<div dir="ltr"><div>I'm just saying: let's _not_ add ExistentialQuantification in GHC2021 (because it ought, in my opinion, to be considered deprecated). Let's not go into talking about chopping the feature into smaller pieces. I do agree that one of my arguments in the original email has been shown to be incorrect, though. But I still think that my suggestion holds.<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Dec 4, 2020 at 3:34 PM Richard Eisenberg <<a href="mailto:rae@richarde.dev">rae@richarde.dev</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div style="overflow-wrap: break-word;">I do use the data Ex = forall a. ... syntax occasionally, but only when I'm emphasizing that I'm not building a GADT. I would entertain the thought of removing it. Yet, I don't think we can do so as part of this process, as we don't have a combination of extensions that allows GADT-syntax existentials but not this other syntax. (Even -XGADTs -XNoExistentialQuantification doesn't eliminate it.)<div><br></div><div>In any case, I've voted against GADTs, and so if you want to disentangle this one piece of syntax, that would also be a vote against GADTs, followed up with a proposal to spin out this syntax into its own extension.</div><div><br></div><div>Richard<br><div><br><blockquote type="cite"><div>On Dec 4, 2020, at 9:14 AM, Spiwack, Arnaud <<a href="mailto:arnaud.spiwack@tweag.io" target="_blank">arnaud.spiwack@tweag.io</a>> wrote:</div><br><div><div dir="ltr"><div dir="ltr"><br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Ah one clarification, GADTSyntax alone does not enable existential types. You need to enable either ExistentialQuantification or full GADTs.<br></blockquote><div><br></div><div>It makes more than perfect sense, but I wasn't aware of this. A consequence of always enabling -XGADTs, I suppose :-) .<br></div></div></div>
_______________________________________________<br>ghc-steering-committee mailing list<br><a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br><a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br></div></blockquote></div><br></div></div></blockquote></div>