dim0   dim1
a         3      1   ->  stretches to 4
b         1      4   ->  stretches to 3   (b padded to (1, 4))
result    3      4