Simply put, OCaml is very principled. There is a good reason for pretty much every design decision. The only thing one could argue is the lack of type classes,

Simply put, OCaml is very principled. There is a good reason for pretty much every design decision. The only thing one could argue is the lack of type classes, i.e., overloading. (Calling it "interfaces" is somewhat wrong.)