I would qualify with ".. that has actually fluently learned FP." I see a lot of folks get a quarter into it and turn back, which is fine, but like you, I don't know of anyone that got fluent in eg Haskell and then decided that Java was better.
Closest thing to that is Rust
Agree with you on the first and partly on the latter. Perhaps you could put ATS under the 'C-style with ML type system', and then it would predate Rust. But it also has more functional stuff than Rust, from what I have been able to make out. 🤔