Efficiently write ReadOnlySequence to Stream

Reading data using a PipeReader returns a ReadResult containing the requested data as a ReadOnlySequence<byte>. Currently I am using this (simplified) snippet to write the data fetched from the reader to my target stream:

var data = (await pipeReader.ReadAsync(cancellationToken)).Buffer;

// lots of parsing, advancing, etc.

var position = data.GetPosition(0);

while (data.TryGet(ref position, out var memory))
{
    await body.WriteAsync(memory);
}

This seems to be a lot of code for such a basic task, which I would usually expect to be a one-liner in .NET. Analyzing the overloads provided by Stream I fail to see how this functionality can be achieved with less code.

Is there some kind of extension method I am missing?