T

typeclasses

I don't think fitting prototypal inheritance with something like typeclasses would disintegrate the validity of the aforementioned. In fact, I think typeclasses are a pretty good fit for prototypally inherited structures.