Fantasically written!

There is a typo on the list monad example; "x <- ys" should be "x <- xs".