Of Variance and Functors | Hacker News Reader