Macro downgrade 

macro_rules! downgrade {
    ($($t:ident),*) => { ... };
}