Don't add equal binders to alpha list in fold.