No, there is no other way to add elements to this stream in the standard Java Stream API. Some third-party libraries, including the StreamEx library, provide additional convenient methods for this:
Stream<Foo> stream = StreamEx.of(foos).append(foo);
Inside, it uses the same concat method.
A similar method is available in jOOL :
Stream<Foo> stream = Seq.seq(foos).concat(foo);
source share