@Override
    public @Nullable DfType tryJoinExactly(@NotNull DfType other) {
      return other instanceof DfBooleanType ? this : null;
    }
@Override
    public @Nullable DfType tryJoinExactly(@NotNull DfType other)