Li-Fan Chen says to YSITD
我的研究目標就是把 for 轉成 map/filter/fold