macro_rules! impl_t {
    ($T: ty, $t: ident) => { ... };
}