> 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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe