Hello Andrew,

Saturday, September 27, 2008, 9:23:47 PM, you wrote:

> Can anybody actually demonstrate concretely how FDs and/or ATs would
> solve this problem? (I.e., enable you to write a class that any 
> container can be a member of, despite constraints on the element types.)

you may find comprehensive explanation in ghc user manual, it's
chapter about FDs use this as motivating example :)


-- 
Best regards,
 Bulat                            mailto:[EMAIL PROTECTED]

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to