Plus, most statically typed languages either do type inference by default or let you opt in somehow.

Even Java, which is probably the reason everyone hated static typing for the first decade of the century or so, now has var.

It's not just the physical typing

It's the fact that you can be extremely flexible with data structures and variables

E.g. you can have a list of strings and ints in Python but not java