Trying to reverse-engineer a sloppy Python codebase with outdated type documentation. Static typing would have saved me hours and probably would have prevented the code from getting this bad in the first place. What's the tradeoff? Techno-hipster points?