[Haskell-cafe] Does GADTs imply ExistentialQuantification?

Cosmia Fu cosmiafu at gmail.com
Mon Aug 27 01:42:27 UTC 2018

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20180827/497ad6b5/attachment.html>

More information about the Haskell-Cafe mailing list