If you want to use static types, you can't really argue against that syntax Maybe before ML appeared in 1973... after that it's just Bondage and Discipline to

If you want to use static types, you can't really argue against that syntax Maybe before ML appeared in 1973... after that it's just Bondage and Discipline to repetitively declare non-machine types.