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

[Tim Walkenhorst]

 > [...] 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.