Agreed, strict use of mypy with editor support is a game changer (particularly its union types and TypedDict)