Closed
Description
The typing module could be more generally useful even outside mypy, such as for annotating code for documentation purposes. Also, other tools such as IDEs, documentation tools could more easily use it.
This discussion on python-ideas is relevant:
https://mail.python.org/pipermail/python-ideas/2014-August/028618.html
EDIT: Changed from 'separate project' to a 'separate installation package'