macro_rules! map_impl { ( $(#[$attr:meta])* $ty:ident <K $(: $kbound1:ident $(+ $kbound2:ident)*)*, V $(, $typaram:ident : $bound:ident)*> ) => { ... }; }