pub type Shrunk<'a, T> = Box<dyn Iterator<Item = T> + 'a>;
An Iterator of “smaller” values derived from a given value.
Iterator
struct Shrunk<'a, T>(/* private fields */);