(the most specific) to avoid exponential resolve of value arguments for several candidates where type inference is incomplete (or depends on expected type)