Ah so we need three or four additional language features to do it, and PhDs in category theory.
...or you could accept that not every language needs to be a Haskell clone, and there is more than one good way to design a language. Choices have tradeoffs. The choices Haskell and Rust make are not the only valid choices. They have costs.
Not really, you don't even need a specific language feature to model RAII, except for some basic ones like function lambdas to make it ergonomic to use.
It also doesn't really have anything to do with Haskell, it really is language agnostic.
...or you could accept that not every language needs to be a Haskell clone, and there is more than one good way to design a language. Choices have tradeoffs. The choices Haskell and Rust make are not the only valid choices. They have costs.