Updates the signature in order to reuse types for parameters that share a common type.