This post is really nice, but the author doesn't actually explain 'monads.' He does give a good explanation of the IO type in Haskell and the various combinator

This post is really nice, but the author doesn't actually explain 'monads.' He does give a good explanation of the IO type in Haskell and the various combinators offered (including the monadic ones).