module Data.Ring.Semi
    ( module Data.Ring.Semi.Near
    , Semiring
    ) where

import Data.Ring.Semi.Near

class Seminearring a => Semiring a