module Data.Ring.Semi.Kleene 
    ( module Data.Ring
    , KleeneAlgebra
    , star
    ) where

import Data.Ring

class SemiRing r => KleeneAlgebra r where
    star :: r -> r