But my knee jerk reaction is: Those type hints should be obvious to the reader of the code, not just the type checking system.