Agda.Utils.SemiRing
class SemiRing a