Bonus ex. 4b (almost) done

There is still some typing problem: uncomment the signature of depthFirstFold and you'll see what I mean.