Don't be afraid of variably modified types | Hacker News Reader