Oh oops thanks!
Instead of the non-obvious SHOW STREAM I think I'd prefer to say
as the other input to =.
Or, wait, does = work for streams? I guess the two thunks are different procedures. So your way may be necessary, alas. We should have a special = for streams that compares the two heads as usual, then for the tails, declare them equal if their two promises are the same expression.