I think you vastly overestimate the capacity of Python typing.