@Override
    public void typeVarType(TypeVarType type) {
      if (type.name != null) {
        add(escaped(type.name));
        if (type.bound != null) {
          add(escaped(" ≤: "));
          type.bound.accept(this);
        }
      }
    }
 
@Override
    public void typeVarType(TypeVarType type)