So all we want to do now with merge is take x `Eva...
# arrow
a
So all we want to do now with merge is take x
Eval<T>
and return
TupleX<….>