Add foldr for Streams.