[dllthomas]

OCaml doesn't have typeclasses, does it? It's been a while since I've used it, so things may've changed or my memory may be failing...

[colanderman]

It now has first-order modules, which can be used to accomplish almost the same thing. The biggest difference is first-order modules are explicit while typeclasses are implicit. Whether this is a good or bad thing is up for debate.

[dllthomas]

It had first order modules when I was using it, but people may well have found uses for them that make the comparison more apparent.