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 _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users