module Numeric.Semiring.Involutive 
  ( InvolutiveSemiring
  ) where

import Numeric.Algebra.Involutive