Li-Fan Chen says to YSITD
欸等等 我可以做出一個 value -> statement 的函數