Medindo o tempo de computações monádicas
