Another way to think about it is that only recursion "drives" computation. Corecursion sets up a potentially infinite number of computation steps each of which

Another way to think about it is that only recursion "drives" computation. Corecursion sets up a potentially infinite number of computation steps each of which can be chosen to be churned through via recursion.