Li-Fan Chen
says to
YSITD
然後 combinator 又可以被看做 lambda 的變體