(define varargs-func
A -> (print A))
(define varargs
[varargs | Args] -> [varargs-func [list | Args]]
A -> A)
(sugar in varargs 1)