declare
fun {StreamMap S F}
   local X in
      case S of Sr|Ss then
	 X = {F Sr}
	 X|{StreamMap Ss F}
      end
   end
end