 Corecursion. Returning now to  the chart, we present an example of a corecursive definition.  The equation for zip  given above shows   how the zip  function on streams is to work.    It should satisfy  