Macro with_reduce 

macro_rules! with_reduce {
    ($r:expr, |$t:ident| $body:expr) => { ... };
}

Runs $body with the type $t standing for the reduction that $r (a Reduce) names.