[Pay08]

Nobody is saying they are mandatory, and I'm actually a big fan of gradual typing. My point is that they do nothing.

However, type hints reducing the functionality of the language isn't true either.