These debates will resurface thanks to new languages like Austral, which attempt to place Rust's overall feature set (affine types, borrowing, interior mutability, safe vs. unsafe subset etc.) on a simpler foundation and make it less ad-hoc. There's also a lot of work along these lines in recent PL research. This will also make it a lot easier to explore better and more elegant interactions with known features from Haskell or FP-like languages more generally. And then some future version of Haskell might ultimately gain the ability to express Austral programs (if not full-blown Rust) more or less seamlessly.