It does exist for `Pair` but not `TupleX`
# arrow
b
It does exist for
Pair
but not
TupleX