Nobody forces you to use type inference. If you think a particular piece of code is too tricky to understand without explicit type annotations, by all means use

Nobody forces you to use type inference. If you think a particular piece of code is too tricky to understand without explicit type annotations, by all means use explicit type signatures. That being said, I have never encountered a program that was hard to understand because types were inferred rather than explicitly annotated. I use explicit type annotations in two situations: (0) As a compile-time analogue of printf debugging. Not exactly a joyous thing. (1) At module boundaries, to control what modules expose to each other.