Agda.Utils.SemiRing
class
SemiRing
a