Relation as Monoid0