[jMyles]

> Really the additional robustness it unlocks for IDEs like JetBrains is what got me really excited about type hints in Python.

Agreed. But that's only useful if the syntax is non-awful.