text: yes, indeed! it traverses your structure in a depth-first left-to-right order, by order of your definition. the same holds true for derived Traversible instances.
  
  Here's the generated code, dumped using -ddump-deriv and slightly cleaned up: