macro_rules! impl_trait_for {
    ($trait: ty = $($types: ty),+) => { ... };
}