type <'a> = impl : Iterator<Item = RegionVid> + 'a;