Making Referential Stability a Type | Hacker News Reader