Agda.Utils.SemiRing

class SemiRing a