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