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