macro_rules! seq_impl { ( $(#[$attr:meta])* $ty:ident <T $(: $tbound1:ident $(+ $tbound2:ident)*)* $(, $typaram:ident : $bound:ident)*> ) => { ... }; }