Data.Semiring

class Semiring s