Restore polymorphic projections of pairs/sigmas.