Generalize the type of collectLetBinders according to Emil's suggestion.