let rec toString = function
    | V x -> x
    | C c -> string c
    | F(f,t::ts) -> f + "(" + (toString t) + ")";;