agree, even if you need to permute the axes inside this function it is not natural to give one as a covariant and the other as a contravariant.