For instances that can be used at most once, or instances in which the inferred type should drive synthesis, one of the other coercion classes may be needed.