New post in my series: turns out IO is just Task/Cmd wearing a Haskell hat. An IO a is a description of an effect, >>= is Task.andThen, and main is the runtime boundary where effects actually run. Also covers the one real difference: no typed error channel (and how IO (Either e a) gets it back).
Feedback welcome! 