4 ms·

Yes, I think that is actually the greatest weakness of mypy: the ecosystem is hostile to static typing.