Commutative Monads, Diagrams, and Knots (2009) | Hacker News Reader