Two minor comments. http://bugs.python.org/review/27688/diff/18064/Doc/library/typing.rst File Doc/library/typing.rst (right): http://bugs.python.org/review/27688/diff/18064/Doc/library/typing.rst#newcod... Doc/library/typing.rst:222: # The static type checker treats the above Maybe "A static type checker" here too? http://bugs.python.org/review/27688/diff/18064/Doc/library/typing.rst#newcod... Doc/library/typing.rst:236: That means when the type of a value is :class:`object`, the type checker will same here "a type checker" http://bugs.python.org/review/27688/