Enviar por SMS: Debugging Functional Programs by Interpretation