I should go look into the state of the art in python static type analysis. I'm really interested in using it internally, and I feel like super locked down python projects like pants and some pants repos are good candidates for testing