To make mypy strict enough to compare your dev experience to a typed language, you have to declare all sorts of configurations, otherwise there are huge swaths of things it’ll allow compared to most typed languages.
I use below, and only when necessary use ignore comment pragmas when third party libraries are not typed.
It didn't help him. Which is a bit strange?