[jeremyjh]

Yes and they are essential to working in serious, modern Haskell. You could never be an intermediate without know how to use them.

[noloblo]

Would it be possible to give an example of monad composition that shows both state and Io on one computation unit?