It is a derivative of oCaml and Haskell, but it's also a multi-paradigm language that borrows from C# and Python. It has elements of imperative and OO.
I don't know if it really is "the most original new face", and could be critized for trying to bring too many things into one, but it's not just a clone of Haskell or OCaml.
One of the major benefits of F# is that it is .NET. This allows companies who already have investments in .NET (microsoft technologies) to explore a functional language in a realistic way. I think F# has a good chance of bringing functional programming to the mainstream.
"F# code can even be compiled in an OCaml compiler, often without modification."
I think you have that backwards. The #light syntax preferred by F# is not compatible with ocaml. ocaml and the non light syntax are about the same though.
I don't know if it really is "the most original new face", and could be critized for trying to bring too many things into one, but it's not just a clone of Haskell or OCaml.
[edited typo]