fold F Y nil Y fold G V cons W P G W fold G V P plus 0 X1 X1 plus s Y1 U1 s plus Y1 U1 times 0 V1 0 times s W1 P1 plus times W1 P1 P1 sum fold add 0 prod fold mul s 0 F a c c Y c G a c c V c W a P b X1 c Y1 c U1 c V1 c W1 c P1 c 0 c add a c c cons a b b fold a c c c b c mul a c c nil b plus c c c prod b c s c c sum b c times c c c FULL benchmarks/applicative/Applicative_05__Ex5Folding.atrs