Li-Fan Chen
says to
YSITD
還有如果要寫 curried function 的 type 一定要寫成