Macro typed 

macro_rules! typed {
    ($tp:ident, $val:expr) => { ... };
}