py-mypy is a stub port
