The article mentions that MyPy and PyType use two different type system models and therefore may report different errors. Does it make sense to use both of them on a large codebase? I've been working with MyPy for a while and it has gotten pretty good and fast. Assuming PyType is a valuable tool, I think I'll try adding it to our CI pipeline and see if we get new typing errors.