Lambda Bind Variables

ben wrote “On the idiomatic use of bind variables when writing lambda expressions:”