| 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.
In that respect GADTs and existentials are the same, regardless of the synatx with which they are declared. I hope. Simon
_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
