macro_rules! impl_index_newtype {
    ($thing:ident, $ty:ty) => { ... };
}