public String getTypeSig() { return "@" + getIndex();
public String getTypeSig(GenericWrapper wrapper) { int index = getIndex(wrapper); if (index < 0) throw new RuntimeException("Unbound type parameter " + this + " not associated with current wrapper " + wrapper); return "@" + index;
  public String getTypeSig() {    return "@" + getIndex();  }