Comment by koakuma-chan

> Are those results wrong?

I don't know. Some packages just don't work with type checkers, e.g. Django.