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 m

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.