Macro impl_envelope 

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