:- type x ---> some [Stream] a(Stream) => stream.stream(Stream, io.io).

:- some [Stream] pred get_stream(s::in, Stream::out) is det => stream.stream(Stream, io.io).
get_stream(a(Stream), Stream).