Enviar por SMS: Tracing monadic computations and representing effects