I published an article on the Cockroach Labs Blog:
In this article, I explain how I discovered a bug in CockroachDB whose existence was enabled by Go’s lack of proper algebraic data types.
Also available via the Wayback Machine.
So what do you think? Did I miss something? Is any part unclear? Leave your comments below.