ArrowをTypeConの一種に, Tupleの追加