Is manual resource management with linear types a must? Because that&#x27;s a big bummer. Also how is that compare to Rust?<p>If it&#x27;s not, is it possible to incorporate it into an existing language with e.g. HM types?