Li-Fan Chen
says to
YSITD
(+1) 的 type 是 Int -> Int map (+1)