a =: 2 : ('u at v';':';'u v') a2 : 0u at v:u v) so far so good... - a +- + it just assumes that result expression is dyadic workaround is to use tacit version of : in return value of a, but this doesn't seem like it is working right.