Marked_gconsMarked_f''CMarked_f'niltriplegMarked_fff''BMarked_foldffoldff'Axyzabctg(A)Ag(B)Ag(B)Bg(C)Ag(C)Bg(C)Cfoldf(x,nil)xfoldf(x,cons(y,z))f(foldf(x,z),y)f(t,x)f'(t,g(x))f'(triple(a,b,c),C)triple(a,b,cons(C,c))f'(triple(a,b,c),B)f(triple(a,b,c),A)f'(triple(a,b,c),A)f''(foldf(triple(cons(A,a),nil,c),b))f''(triple(a,b,c))foldf(triple(a,b,nil),c)g(A)Ag(B)Ag(B)Bg(C)Ag(C)Bg(C)Cfoldf(x,nil)xfoldf(x,cons(y,z))f(foldf(x,z),y)f(t,x)f'(t,g(x))f'(triple(a,b,c),C)triple(a,b,cons(C,c))f'(triple(a,b,c),B)f(triple(a,b,c),A)f'(triple(a,b,c),A)f''(foldf(triple(cons(A,a),nil,c),b))f''(triple(a,b,c))foldf(triple(a,b,nil),c)Marked_foldf(x,cons(y,z))Marked_f(foldf(x,z),y)Marked_foldf(x,cons(y,z))Marked_foldf(x,z)Marked_f(t,x)Marked_f'(t,g(x))Marked_f(t,x)Marked_g(x)Marked_f'(triple(a,b,c),B)Marked_f(triple(a,b,c),A)Marked_f'(triple(a,b,c),A)Marked_f''(foldf(triple(cons(A,a),nil,c),b))Marked_f'(triple(a,b,c),A)Marked_foldf(triple(cons(A,a),nil,c),b)Marked_f''(triple(a,b,c))Marked_foldf(triple(a,b,nil),c)g(A)Ag(B)Ag(B)Bg(C)Ag(C)Bg(C)Cfoldf(x,nil)xfoldf(x,cons(y,z))f(foldf(x,z),y)f(t,x)f'(t,g(x))f'(triple(a,b,c),C)triple(a,b,cons(C,c))f'(triple(a,b,c),B)f(triple(a,b,c),A)f'(triple(a,b,c),A)f''(foldf(triple(cons(A,a),nil,c),b))f''(triple(a,b,c))foldf(triple(a,b,nil),c)Marked_foldf(x,cons(y,z))Marked_f(foldf(x,z),y)Marked_foldf(x,cons(y,z))Marked_foldf(x,z)Marked_f(t,x)Marked_f'(t,g(x))Marked_f'(triple(a,b,c),B)Marked_f(triple(a,b,c),A)Marked_f'(triple(a,b,c),A)Marked_f''(foldf(triple(cons(A,a),nil,c),b))Marked_f'(triple(a,b,c),A)Marked_foldf(triple(cons(A,a),nil,c),b)Marked_f''(triple(a,b,c))Marked_foldf(triple(a,b,nil),c)A0f'120foldf110Marked_foldf220B20f''10f120Marked_f210g10triple210nil0Marked_f'210C20Marked_f''20cons210Marked_f'(triple(a,b,c),B)Marked_f(triple(a,b,c),A)g(A)Ag(B)Ag(B)Bg(C)Ag(C)Bg(C)Cfoldf(x,nil)xfoldf(x,cons(y,z))f(foldf(x,z),y)f(t,x)f'(t,g(x))f'(triple(a,b,c),C)triple(a,b,cons(C,c))f'(triple(a,b,c),B)f(triple(a,b,c),A)f'(triple(a,b,c),A)f''(foldf(triple(cons(A,a),nil,c),b))f''(triple(a,b,c))foldf(triple(a,b,nil),c)Marked_foldf(x,cons(y,z))Marked_f(foldf(x,z),y)Marked_foldf(x,cons(y,z))Marked_foldf(x,z)Marked_f(t,x)Marked_f'(t,g(x))Marked_f'(triple(a,b,c),A)Marked_f''(foldf(triple(cons(A,a),nil,c),b))Marked_f'(triple(a,b,c),A)Marked_foldf(triple(cons(A,a),nil,c),b)Marked_f''(triple(a,b,c))Marked_foldf(triple(a,b,nil),c)g(A)Ag(B)Ag(B)Bg(C)Ag(C)Bg(C)Cfoldf(x,nil)xfoldf(x,cons(y,z))f(foldf(x,z),y)f(t,x)f'(t,g(x))f'(triple(a,b,c),C)triple(a,b,cons(C,c))f'(triple(a,b,c),B)f(triple(a,b,c),A)f'(triple(a,b,c),A)f''(foldf(triple(cons(A,a),nil,c),b))f''(triple(a,b,c))foldf(triple(a,b,nil),c)Marked_foldf(x,cons(y,z))Marked_f(foldf(x,z),y)Marked_foldf(x,cons(y,z))Marked_foldf(x,z)Marked_f(t,x)Marked_f'(t,g(x))Marked_f'(triple(a,b,c),A)Marked_f''(foldf(triple(cons(A,a),nil,c),b))Marked_f'(triple(a,b,c),A)Marked_foldf(triple(cons(A,a),nil,c),b)Marked_f''(triple(a,b,c))Marked_foldf(triple(a,b,nil),c)A0f'210foldf110Marked_foldf220B0f''10f210Marked_f20g0triple210nil0Marked_f'20C0Marked_f''20cons210Marked_foldf(x,cons(y,z))Marked_f(foldf(x,z),y)Marked_foldf(x,cons(y,z))Marked_foldf(x,z)g(A)Ag(B)Ag(B)Bg(C)Ag(C)Bg(C)Cfoldf(x,nil)xfoldf(x,cons(y,z))f(foldf(x,z),y)f(t,x)f'(t,g(x))f'(triple(a,b,c),C)triple(a,b,cons(C,c))f'(triple(a,b,c),B)f(triple(a,b,c),A)f'(triple(a,b,c),A)f''(foldf(triple(cons(A,a),nil,c),b))f''(triple(a,b,c))foldf(triple(a,b,nil),c)Marked_f(t,x)Marked_f'(t,g(x))Marked_f'(triple(a,b,c),A)Marked_f''(foldf(triple(cons(A,a),nil,c),b))Marked_f'(triple(a,b,c),A)Marked_foldf(triple(cons(A,a),nil,c),b)Marked_f''(triple(a,b,c))Marked_foldf(triple(a,b,nil),c)