Python Type Hints Default Definition Law