foldr1 package:streamly

Lazy right fold for non-empty streams, using first element as the starting value. Returns Nothing if the stream is empty.