Linear Types and Exceptions | Hacker News Reader