RichRelation as Monoid0