21 Jul
2012
21 Jul
'12
12:16 a.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?