[Haskell-cafe] Does GADTs imply ExistentialQuantification?

David Feuer david.feuer at gmail.com
Mon Aug 27 01:55:38 UTC 2018

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.

On Aug 26, 2018 9:43 PM, "Cosmia Fu" <cosmiafu at gmail.com> wrote:

Hey everyone,

I found that it seems that GADTs implies ExistentialQuantification, but not
mentioned in the manual. Is it a bug?

GHCi, version 8.4.3: http://www.haskell.org/ghc/  :? for help
Prelude> :set -XGADTs -XExplicitForAll
Prelude> data Q = forall a. Q a


Cosmia Fu
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
Only members subscribed via the mailman list are allowed to post.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20180826/17d7ce1d/attachment.html>

More information about the Haskell-Cafe mailing list