[racket] arrow contract with unrestricted keywords?

I have an apply-like procedure (actually, it's a kind of curry) that 
takes at least one positional argument and accepts arbitrary keyword 
arguments. That is,

   (procedure-arity p) = (arity-at-least 1)
   (procedure-keywords p) = (values '() #f)

I want an arrow contract that applies a contract to the first positional 
argument and leaves everything else unconstrained. In particular, I want 
the contracted procedure to still accept arbitrary keyword arguments. Is 
there a way to do that?

Ryan