How does the APL-style inner product operator (higher-order function), which accepts two function arguments and two arrays, generalize to more than two dimensions? I see that t
