(define varargs-func
  A -> (print A))

(define varargs
  [varargs | Args] -> [varargs-func [list | Args]]
  A -> A)

(sugar in varargs 1)