Product package:base-compat-batteries

Monoid under multiplication.
>>> getProduct (Product 3 <> Product 4 <> mempty)
12