“…Obtaining Jones optimality has proven a source of inspiration for a number of new forays into partial evaluation, e.g., handwritten generators of program generators [19,1], constructor specialization [10,33], type specialization [11,21,20,22,23,29], coercions [8], and more recently tag elimination [30,37,38] and staged tagless interpreters [34]. Furthermore, the term "identical modulo renaming" in the definition of Jones optimality has evolved into "at least as efficient" [17,25].…”