Re: Actual stream of a certain type

[Marius Amado-Alves <marius@amado-alves.info>]

> I want to write a library that exports a type T whose stream
> operations 'Write and 'Read require that the actual stream be of a
> certain type, also provided by the library, and visible and usable in
> the body of the operations.

Correction: the provided stream type is an add-on, or mix-in, to  
whatever stream type the user needs (and provides himself). (As  
opposed to a stream type entirely defined in the library, as my first  
description could suggest.) Thanks.