I'll have to take another look but I always thought that the Python type experience was a bit more clunky than what TS achieved for JS. I guess there's also a critical mass of typing in packages involved.