jj proto lidem doporučuji, ať aspoň omrknou, jak to dělá Rust nebo jazyky z rodiny ML (tedy StandardML, OCaml nebo F#). Možná to není úplně mainstream, ale je IMHO dobré tušit, jaké možnosti některé jazyky mají.
Jinak k tomu dotazu - ne, současné Mypy to nedokáže. Ani Ruff to asi nedokáže (a tam by to bylo asi možné předat docela rychle, když o tom uvažuju).