let first_of_first lst =
  let rec fst l = match l with
    | h::t -> h
  and f1 = fst lst in
  fst f1