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