I see orthogonal as a relationship between two vectors of the same dimensions. So if one thinks of ideas as forming some sort of tree structure, two things make sense to be compared if they are peers. That is what I assumed you meant, and what I objected. In that, I tried to lay out the hierarchy as I see it and tried to place ideas on the right places
As I said, I see OO, Dynamic Dispatch, and Haskell’s class (see https://people.csail.mit.edu/dnj/teaching/6898/papers/wadler88.pdf) as orthogonal approaches to implementing AdHoc polymorphism. They can be compared, but FP and OO are not peers, but FP and Imperative programming are peers.