3 ms·

I can’t use something else, since my job is working with Python, and type linting is a reasonable alternative in this case.