Haskel 全く知らんけど、それって

map　::　(a　->　b)　->　( [a] 　->　[b] )
(map　square)　[1,　2,　3]

ってこと（文法も知らんが）？