And you can never mandate that optional type checking in a big enough team.

You can even see popular FOSS Python packages that have very limited type checking.

Why not? Have mypy/pyright/pryefly/ty type errors break CI. If you're starting a new project, there's no reason you shouldn't.