Li-Fan Chen
says to
YSITD
編譯器會跟我們說 type error