[racket] as-patterns?

Hi,

Is there a way to bind a name to a whole sub-value being matched in pattern? 

eg. like var at pat in Haskell:
(match l
  [(cons (@ elem (cons a b)) rest) ...elem...])

It must be there somewhere, but I couldn't find it :/

Thanks!

-- Éric