a python typing