[Haskell-cafe] Does GADTs imply ExistentialQuantification?

[Cosmia Fu]

Hey everyone,

I found that it seems that GADTs implies ExistentialQuantification, but not
mentioned in the manual. Is it a bug?
https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-GADTs

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

----

Cosmia Fu
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20180827/497ad6b5/attachment.html>