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

Andrzej Jaworski himself at poczta.nom.pl
Thu Mar 29 10:23:18 EDT 2007

> 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:-)


More information about the Haskell-Cafe mailing list