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