default @NotNull DfType asDfType() {
    return this == BOTTOM ? DfType.BOTTOM :
           DfTypes.customObject(this, DfaNullability.UNKNOWN, Mutability.UNKNOWN, null, DfType.BOTTOM);
  }
default @NotNull DfType asDfType()