I was thinking along the lines of putting them in the same syntax:
(// a b c : x y z ! i j k) => (a b c (i j k (x y z)))
(<< a b c : >> x y z : i j k)