mul::{[a b];b::+y;{a::x;+/'{a*x}'b}'x}
    [[1 2] [3 4]] mul [[5 6] [7 8]]
[[19 22]
 [43 50]]