Defunctionalisation: An underappreciated tool for writing good software