The Results type is a monoid now.