foldl %X nat %Y nat yap xap F %X %Y Y nil Y foldl %Z nat %U nat yap xap G %Z %U V cons W P foldl %V nat %W nat yap xap G %V %W yap xap G V W P sum X1 foldl %F nat %G nat yap xap plus %F %G 0 X1 xap Z1 U1 Z1 U1 yap H1 W1 H1 W1 F nat nat nat Y nat G nat nat nat V nat W nat P natlist X1 natlist Z1 nat nat nat U1 nat H1 nat nat W1 nat 0 nat cons nat natlist natlist foldl nat nat nat nat natlist nat nil natlist plus nat nat nat sum natlist nat xap nat nat nat nat nat nat yap nat nat nat nat FULL /tmp/tmpfile.afsm