It's apparently much faster than mypy.
It's apparently much faster than mypy.