default @NotNull DfType getFromQualifier(@NotNull DfType dfType) {
    return dfType.getDerivedValues().getOrDefault(this, DfType.TOP);
  }
default @NotNull DfType getFromQualifier(@NotNull DfType dfType)