The Problem

Working with binary I/O often requires imperative-style interop. Testing binary I/O, interactively or non-, is made harder by the lack of a literal representations for byte streams.

How can we represent an ordered, possibly infinite, collection of bytes?

Desiderata

Ideally, this representation would be: