macro_rules! impl_Exp { ($($t:ident),* as $u:ident via $conv_fn:ident named $name:ident) => { ... }; }