Recognising correct argument types when evaluating a function call expression.