|
|
|
|
|
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. |
|