> Imo, local mutation is not that bad, and functional languages actively prevent it, while global mutation is still a thing, which tends to be more problematic

F# also allows and encourages local mutation. In fact, it even allows global mutation without any issues.