内側の数がそろえば掛けられ、外側の数が結果の型になります
外側が残る
A
m 行 n 列
B
n 行 q 列
AB
m 行 q 列
=
内側がそろう
そろっていなければ、そもそも積が定義できません