Returns the first of several candidates found.
This is useful if several types should be supported but only the first
should be the default/inferred type. Other options in the list are
obtained through explicitly typing the parameter(s).
a non-null list of signatures, where a signature corresponds to an array of class nodes, each of them matching a parameter. A list with more than one element indicates that all ambiguities haven't yet been resolved.