What is your opinion on Rust's type system if compared with languages with even stronger type systems?

This question is mainly for folks that have worked with Haskell, Scala, OCaml, or these kind of languages that have more advanced type systems with support for things like higher kinded types and dependent types.

Do you feel that Rust type system is not strong enough to build robust applications if compared with these languages that I've mentioned? This is a open question I know, you can for sure build robust applications in Javascript and C as well.

The more I study about type systems, the more it feels like a endless thing where there is always another language with more and more ways to express the domain into the type system, and I think that at a certain point there will be improvements, yes, but I don't think they'll be massive as being able to have immutability and product types, some sort of law of diminish returns.