right and left make more sense to me. I don't intuitively know which of a or b in `(a,b)` are "on top". That said, I also don't think these functions make a ton of sense to include because

    stack auto (pure id) == extendDown auto