Mypy runs are slow

If your mypy runs feel slow, you should probably use the mypydaemon, which can speed up incremental mypy runtimes bya factor of 10 or more. Remote caching canmake cold mypy runs several times faster.