I find it very difficult to believe that a large source of errors in ML programs are caused by programmers forgetting to annotate type information on top level

I find it very difficult to believe that a large source of errors in ML programs are caused by programmers forgetting to annotate type information on top level functions.