3 ms·

Isn't mypy extensible with plugins?