I’ve posted my perspective on the design issue in this Github comment.
The fundamental design problem is that there are three things that need to be specified - A, b and algorithm, and that if you want to write something \ something the only reasonable grouping is (A, algorithm) \ b. The question is balancing the convenience of the infix \ syntax with the need to specify three things.