**Packages**- package
- base
- transformers

The product function computes the product of a finite list of numbers.

The product function computes the product of the numbers of a structure.

Monoid under multiplication.

Products, lifted to functors.

Lifted product of functors.