At least in similar languages like Haskell, what you do is let the compiler infer types and then press an IDE key combination to write out those inferred types as part of your code so you would get an error if you ever accidentally change the types.

Writing `mli` files is pretty much idiomatic or at the very least, not unusual.