add RichSet.collate