ここの中の矢印は、函数x1 → aとa → ynの合成である。