Updated example for using monad transformers.