racket variadic contract

gistfile1.txt

#lang racket

(require racket/contract)
(define/contract (hello . args)
  (-> any/c ... any/c)
  (display args))
(hello)
(hello 1)
(hello 1 2 3)
(hello 1 2 3 4 5 6)

(define/contract (hello2 . args)
  (-> any/c any/c ... any/c)
  (display args))
;(hello2) ;=> error
(hello2 1)
(hello2 1 2 3)
(hello2 1 2 3 4 5 6)