Re: 3 `\x y -> x + y` 4 `\x y -> x + y` 5: Wrong version pasted