Of course, you are *always* free to add whatever type-annotations you wish to your program. But the program's correctness cannot be affected by them (well, again, for the archaic subset of ocaml extant in ... 1992). --chet--
I'm starting to think that the ability to write OCaml programs without
mentioning the types is a drawback in the language, because it makes
programs hard to understand.\