Macro impl_type_app 

macro_rules! impl_type_app {
    ( $proxy:ident, $target:ident ) => { ... };
    ( $proxy:ident < $( $types:ident ),+ $(,)? >, $target:ident ) => { ... };
}