> There were lots of languages giving you just that, and they never had this amount of hype. See Scala, OCaml, Haskell, etc.

They weren't hyped because they didn't have a silly party trick like microbenchmark performance. But they give you all the practical benefits of Rust and more.