Li-Fan Chen says to YSITD
map 的 type 是這樣ㄉ map :: (a->b) -> [a] -> [b]