disco-0.1.0.0: test/types-bind/input

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