> If you add a new type to a sum type in a statically typed language, that's a breaking change for all downstream consumers. Not true, consumers that have an e

> If you add a new type to a sum type in a statically typed language, that's a breaking change for all downstream consumers. Not true, consumers that have an explicit "catch-all" pattern at the end will work normally