Making Referential Stability a Type | Dark Hacker News