The former notation C(B(A)) became A->B->C. This was PL/I's gift to C.

You seem to have a gift for notation. That's rare. Curious what you think of APL?