Macro implement_abstraction 

macro_rules! implement_abstraction {
    ($ty:ident) => { ... };
    ($($ty:ident)*) => { ... };
}