One additional reason why it is beneficial is that you can then naturally extend typing to any expression, not just identifier. This can help the type inference

One additional reason why it is beneficial is that you can then naturally extend typing to any expression, not just identifier. This can help the type inference (and also can serve as documentation), which is (IMHO) a must in a modern programming language.