Fair enough, but you're thinking about checking it out now right? :) Come to the dark side. http://learnyouahaskell.com/chapters

(Rambda looks neat, thanks for the link.)

There are quite a few layers between what's discussed there and this article. In particular, static typing is an important component of monad transformer stacks, though it's possible to express them without it. Without types, however, it's hard to have a conversation about what's actually going on.