merge sorted pull-streams into one pull stream, while maintaining back-pressure - View it on GitHub