Python Function Type Hint Default Value