Amazing, but... Why not done with Python syntax? And no, mypy is not a solution. Even with strictest mypy it is still possible to have errors that would have been caught with static typing.