[plt-scheme] match in Typed Scheme

Hi,

I am having trouble using match in Typed Scheme.

My match looks something like this

(match trees
      [(list t1 t2 ts ...) (cons (something t1 t2) ts)]
      ...)

trees is of type (Listof (Node A))

t1, t2 will be of type (Node A) but ts will be of type (Listof Any)..

What should I do so that ts will be of type (Listof (Node A))?

Thanks
Hari