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

Spiwack, Arnaud arnaud.spiwack at tweag.io
Fri Dec 4 14:14:08 UTC 2020

> 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>

More information about the ghc-steering-committee mailing list