Improve generic traversal.
Do closure's intermediate rep.