I sometimes felt that Python was rather strong in many parts of typing. As such being able to track what type of something is would often have been useful. Instead of waiting it to crash to some error.

Like back in 2.7 difference between byte-array and string... Offloading such cases is mentally useful.