> 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 inf

> 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.