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