I was mostly thinking that maybe a nice dill pickle would go pretty good with caramelized onions and carrots. But I also assume the pickles would be heated along with the rest, and I’ve never had a hot pickle in that sense (spicy yes, actually heated no).