[lmm]

What do you mean by "system"? The post talks about how other languages solve the problem, e.g. typeclasses, or emulating them with classes.