py-mypy_extensions is a stub port
