You may be right, but I think `traverseIdentity` effectively fails the Fairbairn threshold... which may suggest that we shouldn't even provide this definition. The advantage to a name based on `run` is that it appeals to a particular metaphor that will be most helpful to those less likely to re-derive the definition itself. I think most people -- myself included -- still don't turn to `traverse` as soon as we ought to, though `lens` has really pushed that issue forward.