Python is a very introspectable language. The type annotations are there inside the variable as it's at runtime. They're mostly associated with the function object not with each individual variable but you can sort of map from the arguments to the variables. And that's what a third party library can help exactly.