I have two thoughts on this. First, static typed languages often simply subtract features that would be available in dynamic languages. So, that's a cost that'

I have two thoughts on this. First, static typed languages often simply subtract features that would be available in dynamic languages. So, that's a cost that's paid on day zero, and it can be easy to forget about. Secondly, there are absolutely times when something that is conceptually easy to describe is a real beast to model in a type system. Think DSLs for SQL, for example. A non-trivial amount of time can be lost fighting these battles.