macro_rules! identical_type_and_shape_of_input_dim {
    ($a:ident, ($b:expr, $c:expr)) => { ... };
}