> Sum types are relatively rare in modern programming languages, outside functional programming and some places like Rust.

This claim always bugs me. “Sun types” have been a common idiom under different names since at least the 1970’s, and are supported by every major language in common use. Just not usually at the language / compiler level.