Type Alias List1 

pub type List1<I> = Segment<I, Empty<<I as Value>::Type>>;

Aliased Type

pub struct List1<I>(/* private fields */);