Init: `product` using fold