Why not get rid of mutable data in the first place? That would make this language (and my others) much cleaner.