let fold = PSet.fold