A function that takes the current state and returns an option tuple of the next element of the sequence and the next state value. The stream will be recomputed each time an IEnumerator is requested ...