Macro implement_abstraction

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