macro_rules! impl_as {
    ($I:ty, $O:ty) => { ... };
}