High frequency trading is dominated by C++, Java and C#. There are a few places using F# and Ocaml but they're relatively small players. I know of only two places that seriously considered Haskell and they both decided against it in the end.
I doubt any of these languages are significantly more popular in "more difficult problem spaces."
I doubt any of these languages are significantly more popular in "more difficult problem spaces."