foldFYnilYfoldGVconsWPGWfoldGVPplus0X1X1plussY1U1splusY1U1times0V10timessW1P1plustimesW1P1P1sumfoldadd0prodfoldmuls0FaccYcGaccVcWaPbX1cY1cU1cV1cW1cP1c0caddaccconsabbfoldacccbcmulaccnilbpluscccprodbcsccsumbctimescccFULLbenchmarks/applicative/Applicative_05__Ex5Folding.atrs