it could be a cool addition to mypy to fix this