generated at
***

arrow同士の積
arrowとarrowから、タプルに対するarrowを作る