Pipe.fold(Source)

[swankjesse]

Not sure if this is worthwhile ’cause I don’t have any use case in mind. But we could implement an overload of Pipe.fold()that takes a Source. This would be called by the sink’s owner to replace the ultimate source of the data.