I now doubt the motivation to introduce the 3-arg dot(x, A, y).
The main advantage of writing this, for me, is that it’s a functional api—the args are well separated—therefore make the code neat.
But we could also have written *(x', A, y) instead—which is also a good-looking functional api—were the little ' non-exist.