I don't think you understand my point: the implementation doesn't matter, what matters is the user's mental model. The mental model of typeclasses is focused o

I don't think you understand my point: the implementation doesn't matter, what matters is the user's mental model. The mental model of typeclasses is focused of a specific, clearly defined use.