This seems like it would be useful for the program-by-example paradigm.