foldFnilYYfoldGconsVWPfoldGWGPVsumX1foldaddX10foldmulY11prodY1FcacYcGcacVaWbPcX1bY1b0c1caddcacconsabbfoldcacbccmulcacnilbprodbcsumbcFULLbenchmarks/applicative/Applicative_05__Ex6Folding.atrs