Given how dynamic Python is, I suppose it could also add structural typing like TypeScript, it would be great for duck typing.. :)

Does anyone know if this is something in the making?

And how about tooling support, do you know how well this new static typing style is supported by the python ecosystem?