@Override
    public String toString() {
      return "GenericSubstitutions{" +
             "typeVars=" + typeVars +
             ", typeVarTuples" + typeVarTuples +
             ", paramSpecs=" + paramSpecs +
             '}';
    }
@Override
    public String toString()