27 Sep
2008
27 Sep
'08
2:08 p.m.
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@gmail.com