Categories of polynomials and comonadic plumbing | Hacker News Reader