macro_rules! map_as_tuple_seq { ($tyorig:ident < K, V $(, $typaram:ident : $bound:ident)* >) => { ... }; }