"A common issue in impure ML-style languages with polymorphism and mutable references is the possibility of polymorphic references. In a hypothetical impure language that had both these features, but no mitigations against polymorphic references, the following code would be extremely unsafe...." https://welltypedwit.ch/posts/value-restriction