let rec first_match f1 f2 = function
    [] -> raise (Failure "first_match: none")
    | h::t -> if f1 h = f2 h then h else first_match f1 f2 t
;;