Monad transformers: need a better example