It&#x27;s annoying I guess, but you get over it in a few hours. Interestingly it&#x27;s only annoying from an ideological standpoint—it&#x27;s never bothered me when reading or writing code.<p>Anyway, the reason, along with having separate sets of arithmetic operators, is basically because Ocaml ‘generics’ can&#x27;t be specialized like C++ templates can. Doing it this way keeps the whole language fully type-inferable.