macro_rules! tuple_impl {
    ($($tyvar:ident),* ) => { ... };
}