Monoid now exports <>