[leadnose]

Consider libraries in dynamic languages, there's no way to know beforehand the type of the argument a function is called with.