Guido on static typing in Python