Text this: An implicit function theorem for the stream calculus