確かに classと型クラスが混在するとややこしい。
あと型クラスを入れると、今よりさらにOcamlの敷居が高くなってしまう
恐れもあるのかなと思う。程度の問題だけど。

Overloadingは gcamlで使える。
http://cristal.inria.fr/~furuse/generics/