Li-Fan Chen says to YSITD
突然有點知道lambda運算在幹嘛了