Implement fold in Data/PSQ.hs