Использовали ли вы инструмент mypy для статической типизации в ваших проектах?