型クラスって何か理解するのに 150 秒程かかった。
type class かせめてタイプクラスと書いてくれたら、、、
考えうる理由：

* object の method overloading がもうある
いや、でも class library がないんですけど、という突っ込みは無視。

* type class と ML module system の兼ね合いはどうしますか。
functor の中で class declaration されたらどうしよう、とか。
まあ禁止するんでしょうかね。

* link 時に dictionary 作るコードを付け足すの？今の caml に？大変ね。

* INRIA の中の人が Array.ほげほげ に慣れていて overloading を
必要としていない。

* もー俺達には俺達の class があるから他の何とか class なんかいらないよ。

* 正直、 Haskell の真似するの嫌。

こんなとこすか？