Conor Thomas McBride. How to keep your neighbours in order. In Johan Jeuring, Manuel M. T. Chakravarty, editors, Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, Gothenburg, Sweden, September 1-3, 2014. pages 297-309, ACM, 2014. [doi]