let w_trace { trace; received; } =     w_field' (`ReturnPath trace)     $ List.fold_right (fun x acc -> w_field' (`Received x) $ acc) received noop