Envoyer par SMS: Tracing monadic computations and representing effects