streamIdString: RefinementCodec<TrivialCodec<string>, string> = ...

codeco codec for StreamID string.