macro_rules! impl_narrower_than {
    ($(NarrowerThan<{$($ty:ty),*}> for $self:ty)*) => { ... };
}