generated at
2/21/2025, 9:10:55 PM
***
from
Arrow型クラス
arrow
同士の積
arrowとarrowから、タプルに対するarrowを作る
積関手