pub type Skip4 = There<Skip3>;
Skip four links (fifth cell).
pub struct Skip4(pub PhantomData<There<There<There<Here>>>>);
0: PhantomData<There<There<There<Here>>>>