In K the arguments are named x y z by default, so you just write:

    { foo[x, bar] }