@Override
  public @NotNull String getName() {
    StringBuilder res = new StringBuilder("*tuple[");
    StringUtil.join(myElementTypes, type -> type != null ? type.getName() : "Any", ", ", res);
    if (isUnbound()) {
      res.append(", ...");
    }
    res.append("]");
    return res.toString();
  }
@Override
  public @NotNull String getName()