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