Haskell

Maintain the following key invariant: if the ID carried by a node matches the ID of an ephemeral array, then this node is uniquely owned by this array. A uniquely-owned node is not shared with any other (ephemeral or persistent) array. Therefore it is safe for an operation on this ephemeral array to update this node in place Я бы тут ghc не доверял