macro_rules! impl_value {
    ( $record:ident( $( $value_ty:tt ),+ ) ) => { ... };
    ( $record:ident( $( $value_ty:tt ),+ as $as_ty:ty) ) => { ... };
}