[Haskell-cafe] Re: Very crazy

[Andrew Coppin]

Aaron Denney wrote:
> On 2007-09-25, Andrew Coppin <andrewcoppin at btinternet.com> wrote:
>   
>> BTW, one *extremely* common function that I've never seen mentioned 
>> anywhere is this one:
>>
>>   map2 :: (a -> b) -> [[a]] -> [[b]]
>>   map2 f = map (map f)
>>     
>
> Because someone would have to think of a name for it, when (map . map)
> is likely to be clearer.
>   

OK, *now* I'm puzzled... Why does map . map type-check?