I like that it builds up to monads by introducing functor and applicative first, as those are far easier stones to leap to.