Hacker News new | ask | show | jobs
by endgame 3926 days ago
Ha, you're quick on the draw! I think the exploration of `after` and `doSomething` highlight good insights that I missed.

The idea that the `IO` type forms a monad (as opposed to `IO` being a monad just because the wizards said so) is also really important and missing from my explanation. Great work.