Sum Types and Subtypes and Unions | Dark Hacker News