[Haskell-cafe] Curiose types

[Thomas Schilling]

On 5/27/07, Andrew Coppin <andrewcoppin at btinternet.com> wrote:
>   map :: (a -> b) -> [a] -> [b]
>   map :: (a -> b) -> ([a] -> [b])
>
> Which is beautifully symmetric. Alternatively, you can think about how
> you actually use it:
>
>   map :: ((a -> b) -> [a]) -> [b]

No, now you're confusing things.  The uncurried function looks like this:

uncurry map :: (a -> b, [a]) -> [b]

Note that map :: ( .... ) -> [b]  only takes one argument, not two

HTH
/Thomas