Li-Fan Chen says to YSITD
而且他接受 imperative 的 code (?