Prolly Trees: The useful data structure that was independently invented four times (that we know of)

Prolly trees, aka Merkle Search Trees, aka Content-Defined Merkle Trees, are a little-known but useful data structure for building Conflict-Free Replicated Data Types. They’re so useful that there at least four known instances of someone inventing them independently. I decided to dig deeper into their history.