Type Hints by Guido van Rossum (March 2015)