Haskell platform proposal: split package

Henning Thielemann lemming at henning-thielemann.de
Sat Jul 21 00:16:46 CEST 2012

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?

More information about the Libraries mailing list