module Numeric.Semigroup.Multiplicative
  ( Multiplicative(..)
  , pow1pIntegral
  , product1
  ) where

import Numeric.Semiring.Internal