> Type inference is only for variable bindings inside the function body. This is a lot more tractable.

Type inference inside a function body, is still type inference. Type inference gives us options and can sometimes improve readability. I find the title and premise of this article rather silly.