λA.λx. { dot ⇐ [(+)/((*)`x y)]; -- "iterate over second axis" (i.e. columns) (dot x)`{1∘[2]} (A::Arr (i × j) float) }