クロージャが自由変数の参照を含む関数なら
その対となる物はコンビネータですか？