Как мы постепенно включили strict mypy в старом проекте и что изменилось в качестве кода. Типы для Django-моделей, протоколы и когда Any допустим.