Java’s Checked Exceptions Are Just Weird Union Types | Dark Hacker News