Zaslat SMS: Debugging Functional Programs by Interpretation