关于Haskell类型类的实现

Question

在Simon Peyton Jones的几个演讲中，有一个页面显示了类型类的历史：

从程序员的角度来看，有很多材料可以理解类型类，比如类词类文章和许多其他教程。然而，它的实现和开销很少被描述。

我想知道在实施过程中遇到的问题及其解决方案（我认为应该有解决方案的学术出版物）。

换句话说，我正在搜索像在C ++对象模型中这样的材料，但是对于Haskell语言。