Comment thread for [Idempotent Applicatives, Parametricity, and a Puzzle](https://duplode.github.io/posts/idempotent-applicatives-parametricity-and-a-puzzle.html).
