I see I wasn't clear enough. With object-style polymorphism, the vtable is looked up on the object, using some means or other. With typeclass-style polymorphi

I see I wasn't clear enough. With object-style polymorphism, the vtable is looked up on the object, using some means or other. With typeclass-style polymorphism, the "vtable" is (effectively) looked up on the type. Perhaps gpderetta said it better: https://news.ycombinator.com/item?id=23537639 https://news.ycombinator.com/item?id=23537639