Go proposal: Type-safe error checking | Hacker News Reader