When discussing static-vs-dynamic typing and the argument from the dynamic advocate is "I don't want to type types everywhere", the debate is over.

There are a few valid arguments in favor of dynamic typing - but that isn't one of them.