[bvv]

Graham Hutton, one of the authors of the original paper, also wrote a wonderful book "Programming in Haskell". I would wholeheartedly recommend it to both the programming novice and the experienced programmer trying to learn Haskell and monadic programming.

Chapter 13 of (the second edition of) that book also revisits the original paper from a modern viewpoint and overlaps with the current article. For example, both the book and the article mention the similarity with the state transformer, introduce instances of 'functor' and 'applicative' before the 'monad' instance, and discuss the 'alternative' instance.