declare fun {ProductH Ls Acc} case Ls of E|Es then if E == 0 then 0 else {ProductH Es E*Acc} end else Acc end end fun {Product Ls} {ProductH Ls 1} end