Li-Fan Chen
says to
YSITD
lambda也是怎麼寫就怎麼化簡啊(?