User blog comment:Emlightened/New(ish) Concept: Googological Systems/@comment-27513631-20170804212523/@comment-5529393-20170805081707

Okay, I'll bite:  why are union types the way to go?