Reducing lambda application to bind
Reducing curried lambdas