Abordagem segura para operações atômicas em Haskell
