Moving Mutability Into the Type | Hacker News Reader