let rec get_first lst = match lst with
    (x,y)::rest -> x::(get_first rest)
  | [] -> []