What I find annoying in OCaml and functors is that it makes code really hard to follow. You’re wondering how that function is defined or what exactly is that type? Now you have to try to jump through many functors, their implementation and their instantiations. If IDEs could facilitate that process it’d be fine, but they can’t atm.