Closed
Description
The mypy documentation is the best documentation there is for the Python type system. We should link users to it.
In the long run, typing.readthedocs.io could be a better home, but that shouldn't stop us from helping users today. In my opinion the most likely outcome is that typing.readthedocs.io ends up importing mypy's docs anyway.