Bulletproof Type Safety in Gleam: From Database to Client | Hacker News Reader