http://pypi.python.org/pypi/typing/