Afaik (and according to Xavier Leroy), it's not planned in mainstream. Now, implementation of typeclasses is pretty-well documented, so if anyone's willing to

Afaik (and according to Xavier Leroy), it's not planned in mainstream. Now, implementation of typeclasses is pretty-well documented, so if anyone's willing to finance OCamlPro on this, I don't think there's any technological or scientific barrier.