Use contravarient inferrence for indentifiers