((let y = 3 in (\x. x + y)) : N -> N) 5