Copy elements from a Reader to a Writer.
Copy elements from a Reader to a Writer. The Reader will be discarded if
copy
is cancelled (discarding the writer). The Writer is unmanaged, the caller
is responsible for finalization and error handling, e.g.:
Pipe.copy(r, w, n) ensure w.close()