default @NotNull TypeConstraint instanceOf() {
      if (isFinal()) return canBeInstantiated() ? this : BOTTOM;
      return new Constrained(Collections.singleton(this), Collections.emptySet());
    }
default @NotNull TypeConstraint instanceOf()