clarify comment about generalizing binders