Folding 'fold' into contortions to use it as a generic List iterator does not "provide clarity".