Dynamically typed programs can be structured in far better ways than statically typed programs.
>Both programs have the same underlying structure No they don't, this is just a massive gap in your knowledge.
> try refactoring Python code without type hints in a large code base
I've done that on multiple occasions, the test suite is fine, thank you very much.