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