Re: [GHC] #13026: RFC functions for sums and products