python/mypy ? reverse-engineered prompt