Ported my first codebase to mypy today! It was pretty painless, though I think I hit a bug in the type checker.