[Haskell-cafe] Re: A question about functional dependencies andexistential

[Andrzej Jaworski]

> Are they for working around some problems of HM type systems or do
> they give Haskell super-language powers? I guess I could answer these
> questions if I understood what FD and GATDs are all about, but I'm not
> just there yet. :-)


When you are done with furniture and decide to help us with abstract algebra then you will
benefit from GADT.
But curiosity shouldn't wait : http://www.cs.nott.ac.uk/~pni/Papers/Notes/GADTs.html
Perhaps the proverbial cat didn't know that:-)

Cheers,
-Andrzej