Macro impl_widen 

macro_rules! impl_widen {
    ($($from:ty => $($to:ty),+;)*) => { ... };
}