Pass higher-level function type parameters to lambdas supplied as arguments.

[Fuco1]

If I have a higher-level function foo with type (Bool -> Int) -> Int implemented as

(foo (lambda (x) 1))

it should derive that x must be of type Bool.