Macro Tlist 

macro_rules! Tlist {
    ($ty1:ident, $($ty2:ident),*) => { ... };
    () => { ... };
}

A macro to define simple TList types.

type Numbers = TList![i32, i16, i8];
// Expands to:
type Numbers = Cons<i32, Cons<i16, Cons<i8, End>>>;