Agda.Utils.SemiRing

class SemiRing a

class StarSemiRing a