Haskell platform proposal: split package
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