We present a domain-specific language for specifying recursive traversals o
f object structures, for use with the visitor pattern. Traversals are tradi
tionally specified as iterations, forcing the programmer to adopt an impera
tive style, or are hard-coded into the program or visitor. Our proposal all
ows a number of problems best approached by recursive means to be tackled w
ith the visitor pattern, while retaining the benefits of a separate travers
al specification.