>...and optional static typing enforcement at runtime (without needing mypy).

Check this out:

https://beartype.readthedocs.io/en/latest/