The idea is that Mypy runs before you put your code into production ... 10 * 2 = 20 I don't want to dwell on how all of this works, including inner functions and Python's scoping rules. I do, however, ...