>When you define a variable in a program the reader can easily infer the type by the value it was initialised with.

This breaks exactly when you're dealing with more than one function. Then you have to guess the types of the whole chain of functions.

And maybe that function is used in multiple places, now you need to guess the types of all the places where this function is used.