23 Jul
2009
23 Jul
'09
6:42 p.m.
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