`Times` and `Plus` have the same grammar, and so do `Product` and `Sum`. So is there a function doing multiplication that has the same grammar as `Total` does then?

If yes, what is it? If no, why?