Macro type_args 

macro_rules! type_args {
    ($t:ident, $f:ident) => { ... };
}