Use coercion cost on unresolved signature, to penalize type variables