Este programa usa monad transformers para controlar operações de elevador, como pegar exceções. 