Using a Type Checker in a Dynamic Language?

If i'm bringing in different packages, and all those packages use logging, it might happen that package a says, i want one dot four of the logging package. Package b says, no, I want one dot five of logging. You're saying there are two solutions. One is great. We have two versions of logging. Now that might not work because, and this could depend on the language run time, that logging is some kind of a unique name in the language. Or just because of the nature of what logging is.