use the new compset fragments in combin,pair,finite_map