Haskell platform proposal: split package

[Henning Thielemann]

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?