[Haskell-cafe] The container problem

[Bulat Ziganshin]

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:Bulat.Ziganshin at gmail.com