\x -> x 1 \x -> x \x -> 2 1 2