Product package:optparse-generic

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