[ghc-steering-committee] #380 GHC2021: Let's deprecate ExistentialQuantification

[Spiwack, Arnaud]

> Ah one clarification, GADTSyntax alone does not enable existential types.
> You need to enable either ExistentialQuantification or full GADTs.
>

It makes more than perfect sense, but I wasn't aware of this. A consequence
of always enabling -XGADTs, I suppose :-) .
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20201204/fd10588e/attachment.html>