Li-Fan Chen
says to
YSITD
lambda calculus 你可以用 Y combinator 做出遞迴