Controle de operações de elevador com monad transformers
