@Override
    public @Nullable DfType tryJoinExactly(@NotNull DfType other) { return other == this ? this : other == NOT_FAIL ? TOP : null; }
@Override
    public @Nullable DfType tryJoinExactly(@NotNull DfType other)