Re: [Haskell-cafe] Can someone explain this typing restriction?

[...] Basically I interpret a symbol in a syntax-tree which can belong to different type-classes. [...] I meant, to different types of the same type-class.