>>617
横レスだけど、

・オブジェクト指向のクラスもHaskellの型クラスも
　「抽象データ型」の実現という意味では似ている(>>615)
・オブジェクト指向の「インヘリタンス」とHaskellの「アドホック型多相」とは
　型システム理論という意味では全く違う(>>593)

ということじゃないのかな？
各用語の意味は、自分で調べてね