The type of non-empty streams
Non-empty stream transformations
Basic functions
Building streams
Extracting sublists
Sublist predicates
"Set" operations
Indexing streams
Zipping and unzipping streams
Functions on streams of characters
Converting to and from a list