Li-Fan Chen says to YSITD
那能不能把程式編譯成 combinator 後化到最簡