Function val_iter

pub fn val_iter<'a, V: 'a, I: Iterator<Item: Deref<Target = V> + 'a> + 'a>(
    i: I,
) -> Box<dyn LendingIteratorDyn<Item = HKT<dyn for<'b> WithLifetime<'b, T = Box<dyn Deref<Target = V> + 'b>>>> + 'a>