(…having said that, it wouldn’t help with the mypy case.)