20 Jul
2012
20 Jul
'12
6:16 p.m.
On Fri, 20 Jul 2012, Henning Thielemann wrote:
The only type extension you use, is GADTs, right? It looks like you use it for an Eq constraint in Delimiter/DelimSublist. That is, you actually need only ExistentialQuantification. Is it necessary?
Hm, this (Eq a) isn't even part of an existential quantification. So where is GADT needed?