You're right, my comment was a bit of a knee-jerk. A few things: - You're absolutely right about specialist-aimed submissions on HN, it's a large part of the r

You're right, my comment was a bit of a knee-jerk. A few things: - You're absolutely right about specialist-aimed submissions on HN, it's a large part of the reason I keep coming back to HN, I should have thought about that a bit more. I think this post was a little too far into the very deep end of what haskell can do. - Stoking curiosity about Haskell is a wanted/welcome result, and I think part of my annoyance was that this article was very unlikely to do that, in this context. - I agree with the fact that deeply technical posts like this should be shared with a broader audience -- I didn't mean to imply that all posts shouldn't be shared, but the audience needs to be taken into account a little more. r/haskell is very different audience from HN. While we're here, I'd love to get your opinion on polysemy -- it looks like the best thing since sliced bread for free(r) monads, the combination of the usability of freer-simple and the efficiency gains of fused-effects. I've long secretly held the believe that mtl-style and free-monads were roughly equivalent in power and efficiency equality was only a matter of time, but I am really looking to the free approach because effect algebras seem to be a fantastic tool -- they compose more cleanly than mtl does.