Product package:lens-family-core

Monoid under multiplication.
>>> getProduct (Product 3 <> Product 4 <> mempty)
12
productOf :: Num a => Fold s t a b -> s -> a
Returns the product of all the referenced values.