main = case [1] of
  xs @ (x:_) -> print (x, xs)
  xs@[] -> print xs