Is there any way to write a contract that matches any function returning a symbol, no matter how many arguments the function may or may not take?

(->* () #:rest (listof any/c) symbol?) does not work, because it requires the function to accept any number of arguments, whereas I want to match functions like (lambda (x) 'ok)

(For now, I can use procedure? but then I am omitting the function output check)

http://docs.racket-lang.org/reference/function-contracts.html?q=contract#%28form._%28%28lib._racket%2Fcontract%2Fbase..rkt%29._unconstrained-domain-~3e%29%29

Thanks!

So, (unconstrained-domain-> symbol?)

Is there any way to say, “I don’t care how many arguments there are, but all of them should be symbols?”

I think you could do it with dynamic->* inside of ->i, but I don’t know how to do it otherwise.