F# is too restrictive and poor in terms of types and syntax. OCaml would make a better option as the Haskell "successor". Though, personally I don't think it will ever happen.