Python With As Type Hint