Rich Errors, a.k.a. Error Union Types: Motivation and Rationale | Hacker News Reader