Maybe we should test mypy on all python versions, so that downstream libraries who use mypy on an older python version will also work.