`\x y -> x + y` to `\x -> \y -> x + y`
\x y -> x + yto\x -> \y -> x + y