Macro TrivialTypeTraversalAndLiftImpls 

macro_rules! TrivialTypeTraversalAndLiftImpls {
    ($($t:tt)*) => { ... };
}