comp_f_g#1 plus_x x3 comp_f_g x1 x2 0 plus_x#1 x3 comp_f_g#1 x1 x2 0 comp_f_g#1 plus_x x3 id 0 plus_x#1 x3 0 map#2 Nil Nil map#2 Cons x16 x6 Cons plus_x x16 map#2 x6 plus_x#1 0 x6 x6 plus_x#1 S x8 x10 S plus_x#1 x8 x10 foldr_f#3 Nil 0 0 foldr_f#3 Cons x16 x5 x24 comp_f_g#1 x16 foldr#3 x5 x24 foldr#3 Nil id foldr#3 Cons x32 x6 comp_f_g x32 foldr#3 x6 main x3 foldr_f#3 map#2 x3 0 comp_f_g#1 3 plus_x 1 comp_f_g 2 0 0 plus_x#1 2 id 0 map#2 1 Nil 0 Cons 2 S 1 foldr_f#3 2 foldr#3 1 main 1 INNERMOST hoca/foldsum.trs