<div dir="ltr">I am strongly against deprecating ExistentialQuantification and prefer it over the GADT notation for non-GADT datatypes.  I find GADT notation nice when the types of the result change, but I don't think it is great for normal types (which are the large majority of types I use) for these reasons:<div>   - It duplicates the declaration of the types many types, but often it is not obvious that you have the same type</div><div>   - The disconnect between the type variables in the data declaration and the constructors is confusing, which is why I prefer the GADT from where you declare the kind of the GADT, but that's quite ugly and verbose.</div><div><br></div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Dec 4, 2020 at 7:25 AM Joachim Breitner <<a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</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">Hi,<br>
<br>
Am Freitag, den 04.12.2020, 15:47 +0100 schrieb Spiwack, Arnaud:<br>
> I'm just saying: let's _not_ add ExistentialQuantification in GHC2021<br>
> (because it ought, in my opinion, to be considered deprecated).<br>
<br>
I’m convinced!<br>
<br>
>  Let's not go into talking about chopping the feature into smaller<br>
> pieces. <br>
<br>
Not for GHC2021! But if GADTs don’t make it this round, we can ask the<br>
question if ExistentialVariables is a feature worth having on its own,<br>
of if anyone who wants to use that should just go for GADTs.<br>
<br>
<br>
Cheers,<br>
Joachim<br>
<br>
-- <br>
Joachim Breitner<br>
  <a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a><br>
  <a href="http://www.joachim-breitner.de/" rel="noreferrer" target="_blank">http://www.joachim-breitner.de/</a><br>
<br>
<br>
_______________________________________________<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" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</blockquote></div>