Data.Semiring

class Semiring a

data Add a

data Mul a

data Max a

data Min a