<div dir="auto"><div>I'm not sure. Once you have GADTs, ExistentialQuantification is just syntax. So from one angle, maybe it doesn't matter too much. On the other hand, that syntax, whole traditional, is not the clearest in the world. One could easily imagine a Haskell implementation that chooses only to support GADT syntax for existentials. So maybe it is a bug.<br><div class="gmail_extra"><br><div class="gmail_quote">On Aug 26, 2018 9:43 PM, "Cosmia Fu" <<a href="mailto:cosmiafu@gmail.com">cosmiafu@gmail.com</a>> wrote:<br type="attribution"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Hey everyone,<br><br>I found that it seems that GADTs implies ExistentialQuantification, but not mentioned in the manual. Is it a bug?<br><a href="https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-GADTs" target="_blank" rel="noreferrer">https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-GADTs</a><br><br>GHCi, version 8.4.3: <a href="http://www.haskell.org/ghc/" target="_blank" rel="noreferrer">http://www.haskell.org/ghc/</a>  :? for help<br>Prelude> :set -XGADTs -XExplicitForAll<br>Prelude> data Q = forall a. Q a<br>Prelude><br><br>----<br><br>Cosmia Fu</div>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div><br></div></div></div>