It's useful to keep these anyway, as if you make a change that accidentally changes the type of some function, the error message makes it immediately obvious what you did. Otherwise it's hard to tell whether you messed up the function or the caller.

Also having type annotations makes code reviews easier. Basically people's brains can use the same optimization that compilers do.