Каким образом вы использовали MyPy в своих проектах и какой опыт у вас есть с этим инструментом типизации в Python?