Li-Fan Chen
says to
YSITD
lambda也可以丟lambda machine然後化簡啊