What is "type-induction" In some languages, it is when the functions can force the parameters to be of a certain type or object.