On , I learnt ...

About mypy’s reveal_type and reveal_locals functions

Which can be used for debugging type annotation problems. Insert them liberally into your code before running mypy to see the inferred static types of expressions or local variables.

Make sure you remove them before committing or the Python interpreter will complain.

More at displaying the type of an expression in the mypy docs.