Li-Fan Chen says to YSITD
於是 (map (+1) ) 變成 [Int] -> [Int}