What is the meaning of these constant interruptions? - GRAHAM HUTTON; JOEL WRIGHT (Journal of Functional Programming, 2007)