I published an article on the Cockroach Labs Blog:
Squashing a Schrödinbug With Strong Typing.
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.