/とか左右同じ型だけど非可換のとき分かりにくいかも？