8/16 Summary • Definition of paths & cycles • Higher orderness based on path properties Examples of paths: • Paths that are unions of cycles • Eta expansion • Curried functions • Self-loops

I am working on higher-orderness in relation to implementation type mismatches. To understand interface type mismatches better, is there a definition (series of steps) for the rational programmer in this debugging scenario?