including inner functions and Python's scoping rules. I do, however, want to ask the question "how can you use Mypy to check all of this?" from typing import Callable def foo(x: int) -> Callable: def ...