--
-- Eta-conversion
--

let increment = \x -> x+1

increment 5

let inc = \x -> increment x

inc 6

-- inc can be simplified to increment using eta-reduction
-- also called "inlining" in compiler optimizations

let inc = increment

inc 6