Define product = foldLtoR 1 (*).