Begins an updating traversal over a Traversable structure. At each step,
the cursor will hold an element of type a, and providing an element of type
b will move on to the next step. When done, a new Traversable object holding
elements of type b will be available.