Match inferred and declared by unification, not equality.