[Pre-RFC] Substructural Type System | Hacker News Reader