So, my question is: how do you check if any arbitrary package exists?

That depends on what you mean by "a package exists". From a language point of view, it's not a question that makes a lot of sense. All packages are equal.