Macro define_id_getter 

macro_rules! define_id_getter {
    ($t:ty, $id_ty:ty) => { ... };
}

Implement the HasID trait for the given type, assuming it has a field called id