If two different objects expose the same functions then you can call them in the same way. You have no way of knowing, from the function names and arity, whethe

If two different objects expose the same functions then you can call them in the same way. You have no way of knowing, from the function names and arity, whether their semantics are what you need. Once you start asking that question, you are asking the sort of questions that using types helps answer.