What is the meaning of these constant interruptions?

Graham Hutton, Joel Wright. What is the meaning of these constant interruptions?. Journal of Functional Programming, 17(6):777-792, 2007. [doi]

@article{HuttonW07,
  title = {What is the meaning of these constant interruptions?},
  author = {Graham Hutton and Joel Wright},
  year = {2007},
  doi = {10.1017/S0956796807006363},
  url = {http://dx.doi.org/10.1017/S0956796807006363},
  researchr = {https://researchr.org/publication/HuttonW07},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {17},
  number = {6},
  pages = {777-792},
}