Li-Fan Chen
says to
YSITD
然後 combinator 有很多簡化的方法