walk#1 Nil walk_xs walk#1 Cons x4 x3 comp_f_g walk#1 x3 walk_xs_3 x4 comp_f_g#1 comp_f_g x7 x9 walk_xs_3 x8 x12 comp_f_g#1 x7 x9 Cons x8 x12 comp_f_g#1 walk_xs walk_xs_3 x8 x12 Cons x8 x12 main Nil Nil main Cons x4 x5 comp_f_g#1 walk#1 x5 walk_xs_3 x4 Nil walk#1 1 Nil 0 walk_xs 0 Cons 2 comp_f_g 2 walk_xs_3 1 comp_f_g#1 3 main 1 INNERMOST hoca/rev-dl.trs