Invia SMS: Debugging Functional Programs by Interpretation