Why are types so cool, Part I: Result types | Hacker News Reader