> you don't gain that much if you compare it to something like Rust, Java or even Go.

Some languages have no implicit nullabillity and proper sum-types and exhausivity checks. This is what the main benefits of Haskell come from IMHO. Langs like Rust, Elm, OCaml/Reason/ReScript and Kotlin (even TypeScript) to some extend have this.

Go and Java dont have this, and I miss them every time I use these languages.