Should this call `self.fold_ident(ident)`?