我在https://wiki.haskell.org/Super_combinator页上阅读，想知道超级组合器的目的是什么？
我想了解以下情况：
任何lambda表达式的格式为\ x1 x2 .. xn-> E，其中E不是 λ抽象且n≥0。 （请注意，如果表达式不是 lambda抽象，n = 0。）当且仅当：
E中唯一的自由变量是x1..xn和
E中的每个lambda抽象都是一个超级组合器。
第一点使我感到困惑，因为
\x y -> x + y
x和y是绑定变量，因此它们不是自由的。