Proposal: Deprecate ExistentialQuantification

Dan Doel dan.doel at
Thu Jul 23 18:42:53 EDT 2009

On Friday 10 July 2009 5:03:00 am Wolfgang Jeltsch wrote:
> Isn’t ExistentialQuantification more powerful than using GADTs for
> emulating existential quantification? To my knowledge, it is possible to
> use lazy patterns with existential types but not with GADTs.

6.10.4 doesn't allow you to use ~ matches against either.

-- Dan

More information about the Glasgow-haskell-users mailing list