Li-Fan Chen says to YSITD
lambda字面上就有所有資訊ㄌ