> What's the point if runtime ignores them.

I've been using this sparingly: https://pypi.org/project/type-enforced/