and the recursion needs to occur on a field of the mergeable type