Monads are now illustrated with the new logging feature.