***
from
Arrow型クラス
arrow
同士の積
arrowとarrowから、タプルに対するarrowを作る
積関手