I agree. I'm currently working on a project containing 45k lines of Python code and we have really benefited from having type annotations.