Why doesn't `^` promote its arguments?

[Oscar_Smith]

I don’t think ^ and * are comparable. * is usually ^ a group operation where both operands come from the same group, while ^ with internet exponents is better thought of as an r-module.