For some time now, Python developers have been able to “annotate” names with type information. With Python 3.5, type hints officially became part of the language (see PEP 484).

But function isn't actually a recognized name in Python. Instead, you'll need to use the typing module, which comes with Python 3 so you can do this kind of type checking. And in typing, the name ...