Data.Semiring

class Semiring a

data Add a

data Mul a

add

mul

data Max a

data Min a