Some potential use cases: - Using Merkle trees, we can assign every node a hash-based ID. So now we can refer to other nodes by ID. This lets us store a graph

Some potential use cases: - Using Merkle trees, we can assign every node a hash-based ID. So now we can refer to other nodes by ID. This lets us store a graph whose vertices are all the tree nodes. - With the graph, we can now reference bindings not by string literal, but by ID. This eliminates shadowing problems and missing imports. - There is now one source of truth for the names of variables and functions. As a result, in source control, a commit that renames something is a one-line change.