[Haskell-cafe] The container problem

Bulat Ziganshin bulat.ziganshin at gmail.com
Sat Sep 27 14:08:07 EDT 2008

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

More information about the Haskell-Cafe mailing list