typeclasses

First-class instances in Haskell

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.

The project's wiki contains an article on Scala typeclasses