Why would a type checker need to call a package manager?