<div dir="ltr">Hey everyone,<br><br>I found that it seems that GADTs implies ExistentialQuantification, but not mentioned in the manual. Is it a bug?<br><a href="https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-GADTs">https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-GADTs</a><br><br>GHCi, version 8.4.3: <a href="http://www.haskell.org/ghc/">http://www.haskell.org/ghc/</a>  :? for help<br>Prelude> :set -XGADTs -XExplicitForAll<br>Prelude> data Q = forall a. Q a<br>Prelude><br><br>----<br><br>Cosmia Fu</div>