Basic dependency injection in OCaml with objects (gr-im.github.io)

The author keeps aluding to the problem of loss of type inference without giving any example. I have no idea if the problem is relevant or not.