Is class dictionary passing the result of an implementation choice or theoritical necessity?

Links
14

2 posts were split to a new topic: Combining subtyping with type classes