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