type  = impl : Iterator<Item = &T>;